Sites Inria

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

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

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

ERC

European Research Council grants

The ERC's mission is to encourage high-quality research in Europe, thanks to significant funding. Each year, the European Research Council (ERC) rewards researchers with innovative ideas. This programme enables them to carry out exploratory research "at the frontier of knowledge" for five years and, thanks to the allocated budget, be able to set up a scientific team. 

Keywords:

Home > Centre > Nancy > Research > Lauréats ERC

More

Top