Formal Models and Techniques for Analyzing Security Protocols A Tutorial Cortier, Véronique Heftet / 2014 / Engelsk
Formal to Practical Security Papers Issued from the 2005-2008 French-Japanese Collaboration Cortier, Véronique Heftet / 2009 / Engelsk
