FOSAD
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
History
Committee
Location
Programme
Registration
linea News
  • Do not forget ESORICS, the week following FOSAD in Pisa!
  • FOSAD2012 is organized in cooperation with the NoE on engineering secure future Internet software services and systems (NESSoS) and with the NoE on the application of formal methods to cryptography (CryptoForma).
  • Application deadline: June 30, 2012
  • List of speakers:
    • Martin Abadi
    • Karthik Bhargavan
    • Fabrice Bouquet
    • Jan Jurjens
    • Bart Preneel
    • Phillip Rogaway
    • Mark Ryan
    • Pierangela Samarati
linea
nessos