There are 3 Results with the keyword : "Secsi"
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).
Algorithmics, Programming, Software and Architecture
The Secsi project-team (a joint team with the Specification and Verification Laboratory (LSV), the French National Centre for Scientific Research (CNRS) and the ENS-Cachan) works on verifying cryptographic protocols, such as those used for e-commerce or ATMs, and installing intrusion detection tools in IT systems, so as to alert users to any potentially malicious actions. As three of its members apply for their habilitation to advise doctoral theses, we take a closer look at the research work of this team.
Jean Goubault-Larrecq, leader of the Secsi project team, has just been awarded a CNRS 2011 Silver Medal, for the INS2I (Institute for Information Sciences and Technologies).
The CNRS Silver Medal distinguishes a researcher for the originality, quality and importance of his work, which is recognised both nationally and internationally.