Steve Kremer2 Véronique Cortier3

Education

Introduction A computationally sound prover A computationally sound logic The modular approach Conclusion

Bruno Blanchet1, Stéphanie Delaune2, Mathieu Turuani3 Eugen Zalinescu3, Steve Kremer2 Véronique Cortier3, Heinrich Hördegen3, Martín Abadi4[5mm] 1liens 2lsv 3loria 4ucsc & Microsoft Research, David Pointcheval1 Jean Goubault-Larrecq2

Education

Introduction Computationally sound prover Computationally sound logic Modular approach Case studies Conclusion

Bruno Blanchet1, Hubert Comon-Lundh2 Stéphanie Delaune2, Mathieu Turuani3 Martín Abadi4[5mm] 1liens 2lsv 3loria 4ucsc & Microsoft Research, David Pointcheval1 Jean Goubault-Larrecq2, Steve Kremer2 Véronique Cortier3

Education

Introduction A computationally sound prover A computationally sound logic

Bruno Blanchet1, David Monniaux1, David Pointcheval1 Jean Goubault-Larrecq2, Mathieu Baudet2, Steve Kremer2 Véronique Cortier3, Mathieu Turuani3, Bogdan Warinshi3 Martín Abadi4[5mm] 1liens 2lsv 3loria 4ucsc & Microsoft Research