Protocol Flaw Detection is a systematic analytical method within the field of security protocol verification that identifies deviations from intended security properties by examining protocol designs for vulnerabilities exploitable through cryptographic, logical, or procedural weaknesses.
110
Publications
6.4K
Citations
282
Authors
129
Institutions
Publications per year
2017–2026
27
Publications
110
A Formal Approach to Conformance Testing
Jan Tretmans · 1993 · 253 citations
Towards Analyzing and Synthesizing Protocols
P. Zafiropulo, Colin H. West, H. Rudin et al. · IRE Transactions on Communications Systems · 1980 · 239 citations
1–5 of 110
Authors
282
- MM
4
h-index
- GL
4
h-index
- RD
4
h-index
- TC
4
h-index
- CB
3
h-index
1–5 of 282
Institutions
129
University of California, Los Angeles
Los Angeles, United States
4 h-index
5 publications
134 citations
University of Limerick
Limerick, Ireland
4 h-index
12 publications
156 citations
Microsoft (United States)
Redmond, United States
4 h-index
7 publications
184 citations
University of Oxford
Oxford, United Kingdom
4 h-index
4 publications
524 citations
AT&T (United States)
Bedminster, United States
4 h-index
4 publications
691 citations
ETH Zurich
Zurich, Switzerland
3 h-index
5 publications
623 citations
University of Pisa
Pisa, Italy
3 h-index
7 publications
327 citations
Technical University of Denmark
Kongens Lyngby, Denmark
3 h-index
6 publications
401 citations
1–8 of 129
Venues
- IEEE Transactions on Software Engineering
TSE · 4 publications · 593 citations
4
h-index
- ACM SIGCOMM Computer Communication Review
CCR · 4 publications · 615 citations
4
h-index
- Computer Networks
2 publications · 47 citations
3
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 3 publications · 483 citations
3
h-index
- arXiv (Cornell University)
Repository · 2 publications · 35 citations
2
h-index
1–5