FOSAD 2012 summer school

12th International School on Foundations of Security Analysis and Design

co-organized with NESSoS and CryptoForma

University Residential Center of Bertinoro, Italy
3-8 September 2012

FOSAD2012 is organized in cooperation with the NoE on Engineering Secure Future Internet Software Services and Systems (NESSoS) and with the EPSRC CryptoForma network on the application of formal methods to cryptography (CryptoForma).

Call for participation
Application deadline: June 30, 2012

List of speakers:

  • Martin Abadi
  • Karthik Bhargavan
  • Fabrice Bouquet
  • Jan Jurjens
  • Bart Preneel
  • Phillip Rogaway
  • Mark Ryan
  • Pierangela Samarati

Click here for more information.

Stay updated

Stay involved in our discussions on various social networks.

Comments are closed.