Section: Overall Objectives

Highlights of the Year

Véronique Cortier has received a starting grant from the European Research Council (ERC). Her project, called ProSecure (Provably secure systems: foundations, design, and modularity), has started in 2011 for five years. Steve Kremer, formerly in the Secsi project-team, has joined Cassis since September 1. Véronique Cortier and Steve Kremer have edited a book on formal models for analysing security protocols [64] . Laurent Vigneron has defended his habilitation on the application of automated deduction to the verification of infinite systems [17] .