FOSAD
13th International School on Foundations of Security Analysis and Design
co-organized with NESSoS and CryptoForma
University Residential Center of Bertinoro, Italy
2-7 September 2013
History
Committee
Location
Application
Programme
Registration
linea News
  • Call for participation: text and flier
  • Application deadline: June 20, 2013
  • Notifications and registration instructions available by: June 27, 2013
  • FOSAD2013 is organized in cooperation with the NoE on engineering secure future Internet software services and systems (NESSoS) and with the EPSRC NoE on the application of formal methods to cryptography (CryptoForma).
  • List of speakers:
  • Extra: tool session
  • Open session for research presentations given by participants (submit proposal through the application page)
linea
nessos