Florent Jacquemard
3
Documents
Publications
- 3
- 1
- 2
|
Decision Procedures for the Security of Protocols with Probabilistic Encryption against Offline Dictionary AttacksJournal of Automated Reasoning, 2006, 36 (1-2), pp.85-124. ⟨10.1007/s10817-005-9017-7⟩
Article dans une revue
inria-00578855v1
|
|
A Decision Procedure for the Verification of Security Protocols with Explicit Destructors11th ACM Conference on Computer and Communications Security (CCS), Oct 2004, Washington D.C., United States. pp.278-287
Communication dans un congrès
inria-00579012v1
|
|
A Theory of Dictionary Attacks and its Complexity17th IEEE Computer Security Foundations Workshop (CSFW), Jun 2004, Asilomar, Pacific Grove, United States. pp.2-15
Communication dans un congrès
inria-00579014v1
|