Nombre de documents

3

CV de Nadim Kobeissi


Communication dans un congrès2 documents

  • Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Anitha Gollamudi, Georges Gonthier, et al.. Formal Verification of Smart Contracts: Short Paper. ACM Workshop on Programming Languages and Analysis for Security, Oct 2016, Vienna, Austria. Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016, <10.1145/2993600.2993611>. <hal-01400469>
  • Benjamin Beurdouche, Antoine Delignat-Lavaud, Nadim Kobeissi, Alfredo Pironti, Karthikeyan Bhargavan. FLEXTLS A Tool for Testing TLS Implementations. 9th USENIX Workshop on Offensive Technologies, WOOT '15, Aug 2014, Washington DC, United States. <hal-01295035>

Rapport1 document

  • Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Nadim Kobeissi. A Formal Model for ACME: Analyzing Domain Validation over Insecure Channels. [Research Report] INRIA Paris; Microsoft Research Cambridge. 2016. <hal-01397439v2>