Véronique Cortier

• Formal models and techniques for analyzing security protocols
• Formal to Practical Security