👤

Véronique Cortier

2 books

Books by Véronique Cortier

Formal models and techniques for analyzing security protocols
Formal models and techniques for analyzing security protocols
2014
Formal to Practical Security
Formal to Practical Security
2009