#kremer

4 Books
Introduction A computationally sound prover A computationally sound logic The modular approach Conclusion - Bruno Blanchet1, David Pointcheval1 Jean Goubault-Larrecq2, Stéphanie Delaune2, Steve Kremer2 Véronique Cortier3, Mathieu Turuani3 Eugen Zalinescu3, Heinrich Hördegen3, Martín Abadi4[5mm] 1LIENS  2LSV  3LORIA  4UCSC & Microsoft Research
Introduction A computationally sound prover A computationally sound logic The modular approach Conclusion
Bruno Blanchet1, David Pointcheval1 Jean Goubault-Larrecq2, Stéphanie Delaune2, Steve Kremer2 Véronique Cortier3, Mathieu Turuani3 Eugen Zalinescu3, Heinrich Hördegen3, Martín Abadi4[5mm] 1LIENS 2LSV 3LORIA 4UCSC & Microsoft Research
21 Pages
Introduction Computationally sound prover Computationally sound logic Modular approach Case studies Conclusion - Bruno Blanchet1, David Pointcheval1 Jean Goubault-Larrecq2, Hubert Comon-Lundh2 Stéphanie Delaune2, Steve Kremer2 Véronique Cortier3, Mathieu Turuani3 Martín Abadi4[5mm] 1LIENS  2LSV  3LORIA  4UCSC & Microsoft Research
Introduction Computationally sound prover Computationally sound logic Modular approach Case studies Conclusion
Bruno Blanchet1, David Pointcheval1 Jean Goubault-Larrecq2, Hubert Comon-Lundh2 Stéphanie Delaune2, Steve Kremer2 Véronique Cortier3, Mathieu Turuani3 Martín Abadi4[5mm] 1LIENS 2LSV 3LORIA 4UCSC & Microsoft Research
34 Pages
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
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
21 Pages
expand_more