There are 3 Results with the keyword : "Secsi"

© INRIA / Photo J.-M. Ramès Jean-Goubault Larrecq - © INRIA / Photo J.-M. Ramès

Award

A CNRS Silver Medal for Jean Goubault-Larrecq

26/07/2011

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.

Keywords:

Home > Centre > Saclay > News > Jean Goubault-Larrecq médaille d'argent du CNRS

More

© Inria / Photo Kaksonen © Inria / Photo Kaksonen

Algorithmics, Programming, Software and Architecture

Providing solutions for more secure exchanges

30/08/2011

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.

Keywords:

Home > Centre > Saclay > News > Apporter des réponses pour des échanges plus sûrs

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