Protocol Analysis

Protocol Analysis is a formal method within the field of security protocols that systematically examines the correctness, security properties, and potential vulnerabilities of cryptographic protocols to ensure they meet their intended security objectives against adversarial threats.

2.2K

Publications

161.8K

Citations

4.5K

Authors

1.3K

Institutions

Publications per year

2017–2026

529

Variants

Security Protocol Analysis

Parents

Security Protocols

Children

Applied Pi CalculusAttack DiscoveryAuthentication Protocol AnalysisAutomated Protocol VerificationBan LogicComputational Protocol AnalysisCryptographic Protocol AnalysisDenial Of Service AnalysisFormal VerificationHandshake Protocol Analysis

Publications

2.2K

On the security of public key protocols

Danny Dolev, A. Yao · IEEE Transactions on Information Theory · 1983 · 5.7K citations

Computing, Computer Science, Cybersecurity +13

Random oracles are practical

Mihir Bellare, Phillip Rogaway · 1993 · 4.7K citations · Full text

Computing, Computer Science, Computer Security +16

Protocol Analysis: Verbal Reports as Data

M. Venkatesan, K. Anders Ericsson, Herbert A. Simon · Journal of Marketing Research · 1986 · 4.4K citations

Social Sciences, Linguistics, Psychology +11

Applied cryptography: Protocols, algorithms, and source code in C

Bruce Schneier · Computer Law & Security Report · 1994 · 3.4K citations · Full text

Computing, Computer Engineering, Computer Science +12

Secure routing in wireless sensor networks: attacks and countermeasures

Chris Karlof, David Wagner · Ad Hoc Networks · 2003 · 3K citations

Computing, Computer Engineering, Computer Science +17

1–5 of 2.2K

Authors

4.5K

CC
Cas Cremers
ETH Zurich, Switzerland
23 publications · 1.5K citations
20
h-index
CM
Catherine Meadows
United States Naval Research Laboratory, United States
27 publications · 2.1K citations
20
h-index
RC
Ran Canetti
IBM (United States), United States
21 publications · 3.7K citations
18
h-index
JC
John C. Mitchell
Stanford University, United States
21 publications · 2.4K citations
18
h-index
MB
Michael Backes
Saarland University, Germany
21 publications · 1K citations
17
h-index

1–5 of 4.5K

Institutions

1.3K

1–8 of 1.3K

Venues

Journal of Computer Security
52 publications · 4.2K citations
30
h-index
IACR Cryptology ePrint Archive
Repository · 52 publications · 2.8K citations
27
h-index
Electronic Notes in Theoretical Computer Science
ENTCS · 54 publications · 1.8K citations
22
h-index
IEEE Access
33 publications · 1.5K citations
22
h-index
IEEE Transactions on Software Engineering
TSE · 23 publications · 2.5K citations
21
h-index

1–5