Stéphanie Delaune: Comment s'assurer qu'un protocole cryptographique n'a pas de faille ? Une histoire de logique !

Comment s'assurer qu'un protocole cryptographique n'a pas de faille ? Une histoire de logique !

Stéphanie Delaune and Steve Kremer. Comment s'assurer qu'un protocole cryptographique n'a pas de faille ? Une histoire de logique !. Blog Binaire, Le Monde, February 2020.

Download

[HTML]

Abstract

(unavailable)

BibTeX

@article{DK-binaire20,
  author =        {Delaune, St{\'e}phanie and Kremer, Steve},
  journal =       {Blog Binaire},
  month =         feb,
  publisher =     {Le Monde},
  title =         {Comment s'assurer qu'un protocole cryptographique n'a pas de faille ? Une histoire de logique !},
  year =          {2020},
  nmonth =        {2},
  url =           {https://www.lemonde.fr/blog/binaire/2020/02/20/comment-sassurer-quun-protocole-cryptographique-na-pas-de-faille-une-histoire-de-logique/},
  wwwpublic =     {public},
}