Sage Journals: Discover world-class research

Retricted access

Research article

First published 2020-2-4

Verification of stateful cryptographic protocols with exclusive OR

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

Journal of Computer Security

Retricted access

Research article

First published 2018-7-10

Abstractions for security protocol verification

Binh Thanh Nguyen, Christoph Sprenger, Cas Cremers

Journal of Computer Security

Retricted access

Research article

First published 2023-10-13

Symbolic protocol verification with dice 1

Vincent Cheval, Raphaëlle Crubillé, Steve Kremer

Journal of Computer Security

Open access

Research article

First published 2025-11

PSPSP: A tool for automated verification of stateful protocols in Isabelle/HOL

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

Journal of Computer Security

Retricted access

Research article

First published 2017-8-24

An interpolation-based method for the verification of security protocols

Marco Rocchetto, Luca Viganò, Marco Volpe

Journal of Computer Security

Retricted access

Research article

First published 2009-7-2

Automatic verification of correspondences for security protocols *

Bruno Blanchet

Journal of Computer Security

Retricted access

Research article

First published 2013-12-20

Verification of security protocols with lists: From length one to unbounded length

Miriam Paiola, Bruno Blanchet

Journal of Computer Security

Free access

Other

First published 2009-1-1

Automatic Verification for Secrecy of Cryptographic Protocols in First-Order Logic

Jihong Han, Zhiyong Zhou, Yadi Wang

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2020-4

Study on in vitro performance verification protocol for left ventricular assist device

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

The International Journal of Artificial Organs

Retricted access

Research article

First published 2006-1

Advanced method for cryptographic protocol verification

Nabil El Kadhi, Hazem El-Gendy

Journal of Computational Methods in Sciences and Engineering

Search results