Tls Protocol Verification

TLS Protocol Verification is a formal method for verifying the correctness and security properties of the Transport Layer Security (TLS) protocol within the broader category of cryptographic protocol verification, distinguished by its specific focus on the handshake, key exchange, authentication, and channel security mechanisms defined in TLS standards.

Publications

2.2K

Citations

141

Authors

Institutions

Publications per year

2017–2026

Parents

Protocol Verification

Publications

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

A Comprehensive Symbolic Analysis of TLS 1.3

Cas Cremers, Marko Horvat, Jonathan Hoyland et al. · 2017 · 183 citations

Computing, Computer Science, Information Technology +16

Implementing TLS with Verified Cryptographic Security

Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss et al. · 2013 · 175 citations · Full text

Computing, Computer Engineering, Computer Science +17

Inductive analysis of the Internet protocol TLS

ACM Transactions on Information and System Security · 1999 · 145 citations · Full text

Computing, Computer Science, Computer Security +16

Cryptographically verified implementations for TLS

Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin et al. · 2008 · 108 citations

Computing, Computer Engineering, Computer Science +17

1–5 of 49

Authors

141

KB
Karthikeyan Bhargavan
Institut national de recherche en sciences et technologies du numérique, France
10 publications · 714 citations
10
h-index
CF
Cédric Fournet
Microsoft Research (United Kingdom), United Kingdom
7 publications · 477 citations
7
h-index
MK
Markulf Kohlweiss
Microsoft Research (United Kingdom), United Kingdom
5 publications · 323 citations
5
h-index
AP
A. Pironti
University of Naples Federico II, Italy
4 publications · 243 citations
4
h-index
PS
Pierre-Yves Strub
Institut national de recherche en sciences et technologies du numérique, France
3 publications · 224 citations
3
h-index

1–5 of 141

Institutions

1–8 of 76

Venues

ACM Transactions on Information and System Security
TISSEC · 2 publications · 191 citations
2
h-index
IEEE Security & Privacy
1 publications · 17 citations
1
h-index
Journal in Computer Virology
1 publications · 14 citations
1
h-index
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security
Conference · 1 publications · 25 citations
1
h-index
Annual Computer Security Applications Conference
Conference · 1 publications · 17 citations
1
h-index

1–5