Protocol Security Proofs is a formal method in cryptographic protocol analysis that mathematically establishes the correctness and resistance of a protocol against adversarial attacks under well-defined security models.
258
Publications
16.8K
Citations
549
Authors
277
Institutions
Publications per year
2017–2026
66
Parents
Publications
258
A calculus for cryptographic protocols
Martı́n Abadi, Andrew D. Gordon · 1997 · 1.2K citations · Full text
Mobile values, new names, and secure communication
Martı́n Abadi, Cédric Fournet · 2001 · 843 citations
A Proof of Security of Yao’s Protocol for Two-Party Computation
Yehuda Lindell, Benny Pinkas · Journal of Cryptology · 2008 · 655 citations · Full text
Tight finite-key analysis for quantum cryptography
Marco Tomamichel, Charles Ci Wen Lim, Nicolas Gisin et al. · Nature Communications · 2012 · 622 citations · Full text
Computing, Computer Science, Physics +12
Iddo Bentov, Charles Lee, Alex Mizrahi et al. · ACM SIGMETRICS Performance Evaluation Review · 2014 · 583 citations
1–5 of 258
Authors
549
- YL
8
h-index
- BBBruno Blanchet
Institut national de recherche en sciences et technologies du numérique, France
7 publications · 251 citations
7
h-index
- CC
7
h-index
- MB
6
h-index
- VCVéronique Cortier
Laboratoire Lorrain de Recherche en Informatique et ses Applications, France
6 publications · 155 citations
6
h-index
1–5 of 549
Institutions
277
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
17 h-index
28 publications
1.5K citations
Centre National de la Recherche Scientifique
Paris, France
16 h-index
29 publications
1K citations
ETH Zurich
Zurich, Switzerland
11 h-index
20 publications
2.7K citations
IBM Research - Zurich
Rüschlikon, Switzerland
8 h-index
14 publications
1.3K citations
École Normale Supérieure Paris-Saclay
Gif-sur-Yvette, France
8 h-index
8 publications
275 citations
Microsoft Research (United Kingdom)
Cambridge, United Kingdom
8 h-index
9 publications
1.4K citations
Laboratoire Lorrain de Recherche en Informatique et ses Applications
Nancy, France
7 h-index
19 publications
1.2K citations
University of Oxford
Oxford, United Kingdom
7 h-index
11 publications
684 citations
1–8 of 277
Venues
- IACR Cryptology ePrint Archive
Repository · 21 publications · 941 citations
14
h-index
- Journal of Cryptology
11 publications · 1.7K citations
11
h-index
- Journal of Computer Security
9 publications · 892 citations
9
h-index
- arXiv (Cornell University)
Repository · 6 publications · 110 citations
6
h-index
- Physical Review A
PRA · 5 publications · 370 citations
5
h-index
1–5