//img.uscri.be/pth/7ce65eba0e0927a9178fe74328e752690c617299
Cet ouvrage fait partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour le lire en ligne
En savoir plus

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

De
21 pages
Introduction A computationally sound prover A computationally sound logic The modular approach Conclusion FormaCrypt: Formal Computational Cryptography Bruno Blanchet1, David Pointcheval1 Jean Goubault-Larrecq2, Stephanie Delaune2, Steve Kremer2 Veronique Cortier3, Heinrich Hordegen3, Mathieu Turuani3 Eugen Zalinescu3, Martın Abadi4 1LIENS 2LSV 3LORIA 4UCSC & Microsoft Research November 2007 Bruno Blanchet et al FormaCrypt: Formal Computational Cryptography

  • modular approach

  • security protocols

  • computationally sound prover

  • participants laboratoire d'informatique de l'ecole normale

  • automatic computationally


Voir plus Voir moins
IntroductionAcopmtutaoianllsyuoprnderovomActapunoityllanuosgoldemodicThapprularoCcnaohcnoulisroamatFl:toFrCpyunoBBrhetelancphra
FormaCrypt: Formal Computational Cryptography
1 LIENS 2 LSV 3 LORIA 4 UCSC & Microsoft Research
yrylCogpttatuanoilamrpmoC
November 2007
Bruno Blanchet 1 , David Pointcheval 1 Jean Goubault-Larrecq 2 ,Ste´phanieDelaune 2 , Steve Kremer 2 V´eroniqueCortier 3 ,HeinrichHo¨rdegen 3 , Mathieu Turuani 3 Eugen Zalinescu 3 , Mart´ın Abadi 4
Introduction A computationally sound prover A computationally sound logic The modular approach Conclusion ARA SSIA FormaCrypt: participants LaboratoiredInformatiquedelEcoleNormaleSupe´rieure(LIENS) Bruno Blanchet David Monniaux (at VERIMAG since Sept. 1st, 2007) David Pointcheval LaboratoireSpe´cicationetVe´rication(LSV),ENSCachan Jean Goubault-Larrecq Mathieu Baudet (at DCSSI since July 1st, 2006) Ste´phanieDelaune(fromOctober2007) Steve Kremer LaurentMazare´(October2006April2007) Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) V´ ique Cortier eron Ste´phanieDelaune(January2007September2007) HeinrichH¨ordegen(Phdthesistobedefendedsoon) Mathieu Turuani Bogdan Warinschi (in Bristol since January 2007) Eugen Zalinescu (Phd thesis to be defended soon) Scienticadvisor:Martı´nAbadi Bruno Blanchet et al FormaCrypt: Formal Computational Cryptography