Events

9 March 2011

Francois Dupressoir gives seminar on Guiding a General-Purpose C Verifier to Prove Cryptographic Properties

Bât. I. 1st floor
Microsoft Research – Inria Joint Centre
Parc Orsay Université

Guiding a General-Purpose C Verifier to Prove Cryptographic Properties
Francois Dupressoir, Microsoft Research Cambridge

Francois will be giving a talk about his recent work with Andy Gordon