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

A A

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

Events