Channel Security
Channel Security is a protocol verification framework that ensures the integrity, confidentiality, and authenticity of communication channels by formally verifying the correctness of cryptographic protocols against adversarial models and systemic vulnerabilities.
217
Publications
8.9K
Citations
586
Authors
307
Institutions
Publications per year
2017–2026
85
Parents
217
Privacy Amplification by Public Discussion
Charles H. Bennett, Gilles Brassard, J. Robert · SIAM Journal on Computing · 1988 · 885 citations
Detecting relay attacks with timing-based protocols
Jason Reid, Juan Manuel González Nieto, Tee Tang et al. · 2007 · 220 citations · Full text
1–5 of 217
586
5
h-index
University of Electronic Science and Technology of China, China
4 publications · 159 citations
4
h-index
University of Electronic Science and Technology of China, China
4 publications · 88 citations
4
h-index
4
h-index
3
h-index
1–5 of 586
307

University of Electronic Science and Technology of China
Chengdu, China
10 h-index
20 publications
821 citations

University of Waterloo
Waterloo, Canada
7 h-index
14 publications
604 citations
Princeton University
Princeton, United States
6 h-index
10 publications
801 citations
ETH Zurich
Zurich, Switzerland
5 h-index
7 publications
299 citations
Microsoft (United States)
Redmond, United States
5 h-index
5 publications
272 citations
University of Florida
Gainesville, United States
5 h-index
10 publications
207 citations
Nanjing University of Posts and Telecommunications
Nanjing, China
4 h-index
8 publications
393 citations
The Ohio State University
Columbus, United States
4 h-index
8 publications
261 citations
1–8 of 307
14 publications · 522 citations
13
h-index
12 publications · 616 citations
11
h-index
7 publications · 306 citations
7
h-index
TDSC · 7 publications · 273 citations
7
h-index
6 publications · 392 citations
6
h-index
1–5