Nadim Kobeissi

Statistics

Publications

Citations

H-Index

Active since

2014

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Microsoft Research (United Kingdom)

CryptoExperts (France)

State Key Laboratory of Cryptology

Nadim Kobeissi is an author at Institut national de recherche en sciences et technologies du numérique specializing in computing, cryptography, and computer science.

ORCID

Publications per year

2014–2020

Publications

Formal Verification of Smart Contracts

Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet et al. · 2016 · 620 citations · Full text

Computing, Computer Science, Cybersecurity +13

Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate

Karthikeyan Bhargavan, Bruno Blanchet, Nadim Kobeissi · 2017 · 193 citations · Full text

Computing, Computer Science, Computer Systems +17

Automated Verification for Secure Messaging Protocols and Their Implementations: A Symbolic and Computational Approach

Nadim Kobeissi, Karthikeyan Bhargavan, Bruno Blanchet · 2017 · 146 citations · Full text

Computing, Computer Engineering, Computer Science +17

EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats

Tahina Ramananandro, Antoine Delignat-Lavaud, Cédric Fournet et al. · 2019 · 22 citations

Computing, Computer Engineering, Computer Science +16

Verifpal

Nadim Kobeissi, Georgio Nicolas, Mukesh Tiwari · 2020 · 20 citations

Computing, Computer Engineering, Computer Science +17

1–5 of 6