Section: Dissemination

Participation to Workshops and Conferences

• Workshop on Computed-Aided Security – January 2012, Grenoble, France: Bruno Blanchet, David Cadé, Miriam Paiola

• CryptoForma – March 2012, UK: Alfredo Pironti

• ETAPS – March 2012, Tallinn, Estonia]: Bruno Blanchet, David Cadé, Miriam Paiola

• Workshop on Formal and Computational Cryptographic Proofs – April 2012, Cambridge, UK: Bruno Blanchet

• IEEE S&P – May 2012, San Francisco, USA: Graham Steel

• CSF, FCC, ASA – June 2012, Cambridge MA, USA: Bruno Blanchet, David Cadé, Miriam Paiola, Graham Steel, Robert Künnemann, Karthikeyan Bhargavan, Romain Bardou

• Usenix Security – August 2012, Bellevue WA, USA: Karthikeyan Bhargavan, Antoine Delignat-Lavaud

• ARES – August 2012, Prague, Czech Republic: David Cadé

• CRYPTO – August 2012, Santa Barbara, USA: Graham Steel, Romain Bardou

• PROOFS – September 2012, Leuven Belgium: Graham Steel, Evmorfia-Iro Bartzia, Miriam Paiola

• MSR-Inria Workshop – November 2012, Cambridge UK: Karthikeyan Bhargavan, Alfredo Pironti