CryptoForma: 7th Meeting
The seventh official CryptoForma meeting will be hosted by the University of Edinburgh, on 1 and 2 March 2012.
See the Edinburgh security group
pages for more information.
Location
Details TBA.
Schedule
- Elham Kashefi (Edinburgh), tutorial on Quantum Cryptograhy
- Cédric Fournet (Microsoft Research and INRIA Orsay), tutorial on Types for Cryptographic Proofs
Travel and accommodation
Details TBA.