Document Actions

F. Dupressoir (seminar)

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

Wednesday 9 March 2011, 15h
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

Personal tools