7th Meeting

The seventh official CryptoForma meeting was hosted by the University of Edinburgh, on 1 and 2 March 2012.

See the Edinburgh security group pages for more information.



  • Elham Kashefi (Edinburgh), tutorial on Quantum Cryptograhy
  • Cédric Fournet (Microsoft Research and INRIA Orsay), tutorial on Types for Cryptographic Proofs

Stay updated

Stay involved in our discussions on various social networks.

Comments are closed.