11:00am - 12:00pm
Seminar
How do you prove the security of cryptographic protocols?
Véronique Cortier
11:00am - 12:00pm