Sites Inria

There are 2 Results with the keyword : "Steve Kremer"

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

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