Véronique Cortier

No bio available. Add one in Open Library.

Books by Véronique Cortier (50 max)

+ shelf+ list

Formal models and techniques for analyzing security protocols

2011

Véronique Cortier, Steve Kremer

+ shelf+ list

Formal to Practical Security Papers Issued from the 2005-2008 French-Japanese Collaboration

2009

Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada