Section: Dissemination

Invited Talks

• Franco-Japanese CosyProof Workshop, Barbizon, France (April): Bruno Blanchet, David Pointcheval

• Colloque "Algorithmique et Programmation", Luminy, France (May): Phong Nguyen

• CryptoForma workshop, Paris, France (May): Bruno Blanchet, Dario Fiore

• SecReT, Valencia, Spain (June): Bruno Blanchet

• Summer School on Applied Cryptographic Protocols, Mykonos, Greece (September): Michel Abdalla

• Workshop on Post-Quantum Security Models, Paris, France (October): Phong Nguyen

• Chinacrypt, Beijing, China (October): David Pointcheval

• Basque Colloquim in Mathematics and its Applications, Bilbao, Spain (December): Phong Nguyen