Seventh Workshop on
Formal and Computational Cryptography
FCC 2011
Paris, June 30, 2011
Program
9:00-10:00 - Session 1: Invited Talk
10:00-10:30 - Coffee Break
10:30-12:30 - Session 2: Automated Verification (chair: Hubert Comon-Lundh)
12:30-14:00 - Lunch Break
14:00-15:30 - Session 3: Proof Techniques (chair: Dominique Unruh)
15:30-16:00 - Coffee Break
16:00-17:30 - Session 4: Computational Soundness for New Primitive (chair: Véronique Cortier)
|