-
Formal verification of secured routing protocols
With the development of digital networks, such as Internet, communication protocols are omnipresent. Digital devices have to interact with each other in order to... -
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.
