Véronique Cortier

Véronique Cortier

2 books in the database

Books

Formal models and techniques for analyzing security protocolsVéronique Cortier

Formal models and techniques for analyzing security protocols

Véronique Cortier · 2011

Formal to Practical SecurityVéronique Cortier

Formal to Practical Security

Véronique Cortier · 2009