There are 2 Results with the keyword : "Véronique Cortier"

Véronique Cortier

European Research Council 2010

Véronique Cortier: securing protocols

Olivia Brenner - 25/11/2010

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

More

Formal Models and Techniques for Analyzing Security Protocols

Publication

Formal Models and Techniques for Analyzing Security Protocols

15/04/2011

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

More

Top