There are 3 Results with the keyword : "Véronique Cortier"
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).
European Research Council 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.
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.
- Jean-Baptiste Mouret
- Jasmin Blanchette
- Sylvain Lefebvre
- Véronique Cortier
- Bruno Lévy
- Steve Kremer
- Axel Hutt