-
Combining Intruder Theories
Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples... -
Adding Integrity to the Ephemerizer's Protocol
We present a symbolic analysis of the ephemerizer's protocol by Radia Perlman, using the CL-Atse tool from the AVISPA's tool-suite. This protocol allows transmitting a... -
Performance evaluation of key disclosure delay-based schemes in wireless sens...
International audience -
Compiling and narrowing cryptographic protocols
Colloque sans acte à diffusion restreinte. -
A High Level Protocol Specification Language for Industrial Security-Sensitiv...
Colloque avec actes et comité de lecture. internationale. -
Security properties: two agents are sufficient
Article dans revue scientifique avec comité de lecture. internationale.
