Eighth Workshop on
Formal and Computational Cryptography
FCC 2012

Program committee

• Bruno Blanchet , INRIA - ENS - CNRS, France
• Hubert Comon-Lundh, CNRS - ENS Cachan, France
• Veronique Cortier , CNRS - LORIA, France
• Anupam Datta , Carnegie Melon, USA
• Bruce Kapron , University of Victoria, Canada
• Ralf Kuesters, University of Trier, Germany
• Dominique Unruh , University of Tartu, Estonia
• Bogdan Warinschi, University of Bristol, UK
• Santiago Zanella Beguelin , Microsoft Cambridge, UK