Mathieu Turuani3 Martín Abadi4[5mm] 1liens 2lsv 3loria 4ucsc & Microsoft Research

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