Section: Overall Objectives

Highlights of the Year

• Workshop celebrating the 15th anniversary of LSV (the lab where SECSI is hosted) and Jean Goubault-Larrecq's CNRS silver medal, ENS Cachan, February 06-07, 2012 (http://www.lsv.ens-cachan.fr/Events/LSV15Y/ )

• The ANR project AVOTÉ on the formal analysis of electronic voting protocols (http://www.lsv.ens-cachan.fr/Projects/anr-avote/ ) has been nominated to receive a price awarded by the ANR.