There are 2 Results with the keyword : "Véronique Cortier"
European Research Council 2010
Véronique Cortier: securing protocols
In September 2010, Véronique Cortier, a Senior Research Scientist at the French National Centre for Scientific Research and a member of the CASSIS IPT at Inria Nancy - Grand-Est, has obtained an ERC grant for her project on securing communication protocols and altering them to make them reliable. We went to meet this researcher.
Keywords:
Home > Research > News > Véronique Cortier : sécuriser les protocoles
Publication
Formal Models and Techniques for Analyzing Security Protocols
Release of "Formal Models and Techniques for Analyzing Security Protocols / Cryptology and Information Security Series (Vol.5)", a new book co-written by Steve Kremer (Secsi project-team) and Véronique Cortier (Cassis project-team).
Keywords:
Home > Centre > Saclay > News > Formal Models and Techniques for Analyzing Security Protocols
Inria
Inria.fr
Inria Channel
Inria Research Centers