Section: Overall Objectives

Highlights

• Jean Goubault-Larrecq was awarded the CNRS Silver Medal, 2011.

• SECSI organized the 24th IEEE Computer Security Foundations Symposium (CSF).

• SECSI organized a two-day colloquium centered around several invited talks and three defenses of habilitation theses by members of SECSI.

• Steve Kremer co-edited, with Véronique Cortier, the book Formal Models and Techniques for Analyzing Security Protocols [47] .