Accéder directement au contenu

Florent Jacquemard

3
Documents

Publications

stephanie-delaune
Image document

A Decision Procedure for the Verification of Security Protocols with Explicit Destructors

Stéphanie Delaune , Florent Jacquemard
11th 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
Image document

A Theory of Dictionary Attacks and its Complexity

Stéphanie Delaune , Florent Jacquemard
17th IEEE Computer Security Foundations Workshop (CSFW), Jun 2004, Asilomar, Pacific Grove, United States. pp.2-15
Communication dans un congrès inria-00579014v1