Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

11 résultats
Page :
triés par
Image document

FLEXTLS A Tool for Testing TLS Implementations

 Benjamin Beurdouche , Antoine Delignat-Lavaud , Nadim Kobeissi , Alfredo Pironti , Karthikeyan Bhargavan
9th USENIX Workshop on Offensive Technologies, WOOT '15, Usenix, Aug 2014, Washington DC, United States
Communication dans un congrès hal-01295035v1
Image document

Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate

 Karthikeyan Bhargavan , Bruno Blanchet , Nadim Kobeissi
[Research Report] RR-9040, Inria Paris. 2017, pp.51
Rapport hal-01528752v3
Image document

Formal verification for real-world cryptographic protocols and implementations

 Nadim Kobeissi
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE065⟩
Thèse tel-03245433v4
Image document

Verifpal: Cryptographic Protocol Analysis for the Real World

 Nadim Kobeissi , Georgio Nicolas , Mukesh Tiwari
21st International Conference on Cryptology in India, 2020, Dec 2020, Bangalore, India
Communication dans un congrès hal-03325360v1
Image document

L’algorithme et l’ordre public

 Philippe Baumard , Nadim Kobeissi
Archives de philosophie du droit, 2015, 58, pp. 269-288
Article dans une revue hal-03228678v1
Image document

Capsule: A Protocol for Secure Collaborative Document Editing

 Nadim Kobeissi
2018
Pré-publication, Document de travail hal-01948967v1
Image document

Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate

 Karthikeyan Bhargavan , Bruno Blanchet , Nadim Kobeissi
38th IEEE Symposium on Security and Privacy, May 2017, San Jose, United States. pp.483 - 502, ⟨10.1109/SP.2017.26⟩
Communication dans un congrès hal-01575920v2
Image document

Formal Modeling and Verification for Domain Validation and ACME

 Karthikeyan Bhargavan , Antoine Delignat-Lavaud , Nadim Kobeissi
[Research Report] INRIA Paris; Microsoft Research Cambridge. 2016
Rapport hal-01397439v3
Image document

Formal Verification of Smart Contracts: Short Paper

 Karthikeyan Bhargavan , Antoine Delignat-Lavaud , Cédric Fournet , Anitha Gollamudi , Georges Gonthier , et al.
ACM Workshop on Programming Languages and Analysis for Security, Oct 2016, Vienna, Austria. ⟨10.1145/2993600.2993611⟩
Communication dans un congrès hal-01400469v1
Image document

Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols

 Nadim Kobeissi , Georgio Nicolas , Karthikeyan Bhargavan
EuroS&P 2019 - 4th IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden
Communication dans un congrès hal-01948964v2
Image document

Ledger Design Language: Designing and Deploying Formally Verified Public Ledgers

 Nadim Kobeissi , Natalia Kulatova
Workshop on Security Protocol Implementations: Development and Analysis, Apr 2018, London, United Kingdom
Communication dans un congrès hal-01948971v1
Page :