- 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