Formal Methods for Security Protocols is a rigorous, mathematically-based approach to specifying, analyzing, and verifying the correctness of security protocols with respect to confidentiality, integrity, and authentication properties.
612
Publications
41.2K
Citations
911
Authors
410
Institutions
Publications per year
2017–2026
74
Parents
Publications
612
Universally composable security: a new paradigm for cryptographic protocols
Ran Canetti · 2001 · 3.3K citations
Michael T. Burrows, Martı́n Abadi, Roger M. Needham · ACM Transactions on Computer Systems · 1990 · 2.5K citations · Full text
Mobile values, new names, and secure communication
Martı́n Abadi, Cédric Fournet · 2001 · 843 citations
The Inductive Approach to Verifying Cryptographic Protocols
1998 · 842 citations
1–5 of 612
Authors
911
- DB
16
h-index
- CMCatherine Meadows
United States Naval Research Laboratory, United States
19 publications · 1K citations
16
h-index
- SDStéphanie Delaune
Centre National de la Recherche Scientifique, France
17 publications · 600 citations
15
h-index
- CC
14
h-index
- JC
14
h-index
1–5 of 911
Institutions
410
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
25 h-index
58 publications
3.8K citations
United States Naval Research Laboratory
Washington, United States
20 h-index
29 publications
1.4K citations
Centre National de la Recherche Scientifique
Paris, France
20 h-index
48 publications
2.5K citations
ETH Zurich
Zurich, Switzerland
20 h-index
47 publications
3.8K citations
Laboratoire Lorrain de Recherche en Informatique et ses Applications
Nancy, France
18 h-index
40 publications
1.7K citations
Stanford University
Stanford, United States
16 h-index
32 publications
3.1K citations
Microsoft Research (United Kingdom)
Cambridge, United Kingdom
16 h-index
28 publications
2.7K citations
SRI International
Menlo Park, United States
14 h-index
21 publications
1.9K citations
1–8 of 410
Venues
- Journal of Computer Security
37 publications · 3K citations
26
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 33 publications · 1.2K citations
18
h-index
- Theoretical Computer Science
10 publications · 644 citations
10
h-index
- IACR Cryptology ePrint Archive
Repository · 9 publications · 537 citations
9
h-index
- arXiv (Cornell University)
Repository · 6 publications · 107 citations
6
h-index
1–5