Search results: Sage Journals

Restricted accessResearch articleFirst published February 4, 2020

Verification of stateful cryptographic protocols with exclusive OR

Jannik Dreier, Lucca Hirschi, Saša Radomirović [...]

Journal of Computer Security

Restricted accessResearch articleFirst published July 10, 2018

Binh Thanh Nguyen, Christoph Sprenger, Cas Cremers

Journal of Computer Security

Restricted accessResearch articleFirst published October 13, 2023

Vincent Cheval, Raphaëlle Crubillé, Steve Kremer

Journal of Computer Security

Open accessResearch articleFirst published November, 2025

Andreas Viktor Hess, Sebastian Alexander Mödersheim, Achim D Brucker [...]

Journal of Computer Security

Restricted accessResearch articleFirst published August 24, 2017

Marco Rocchetto, Luca Viganò, Marco Volpe

Journal of Computer Security

Restricted accessResearch articleFirst published July 2, 2009

Bruno Blanchet

Journal of Computer Security

Restricted accessResearch articleFirst published December 20, 2013

Miriam Paiola, Bruno Blanchet

Journal of Computer Security

Free accessOtherFirst published January 1, 2009

Jihong Han, Zhiyong Zhou, Yadi Wang

International Journal of Distributed Sensor Networks

Restricted accessResearch articleFirst published April, 2020

Shu Li, Po-Lin Hsu, Ye Hao [...]

The International Journal of Artificial Organs

Restricted accessResearch articleFirst published January, 2006

Nabil El Kadhi, Hazem El-Gendy

Journal of Computational Methods in Sciences and Engineering