|
|
Workshop on Formal and Computational Cryptography
FCC 2009
Program committee
- Michael Backes (MPI and Saarland University, Germany)
- Gilles Barthe (IMDEA Software, Spain)
- Bruno Blanchet (CNRS, ENS, INRIA, France)
- Ran Canetti (Tel Aviv University, Israel)
- Hubert Comon-Lundh (AIST Tokyo, Japan)
- Anupam Datta (Carnegie Mellon University, USA)
- Cédric Fournet (Microsoft Research, Cambridge, UK)
- Ralf Küsters, chair (University of Trier, Germany)
|
|