Sites Inria

There are 2 Results with the keyword : "Publication"

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

A version of " Christiane's Hair " set

Paul R. Halmos - Lester R. Ford Award

A Question of Elegance

Martin Bellet - 10/10/2014

Last August, Jacques Lévy-Véhel, an Inria research team director (Regularity team), and his friend and colleague, Franklin Mendivil, received the Paul R. Halmos - Lester R. Ford. Jacques Lévy-Véhel took our questions about this award.

Keywords:

Home > Centre > Saclay > News > Une question d'élégance

More

Top