Provable Security
Provable Security is a security assurance methodology in cryptography whereby the security of a cryptographic construction is formally reduced to the hardness of well-defined computational problems within a specified threat model.
596
Publications
43.2K
Citations
1.5K
Authors
548
Institutions
Publications per year
2017–2026
191
596
Mihir Bellare, Phillip Rogaway · 1993 · 4.7K citations · Full text
Practical techniques for searches on encrypted data
Dawn Xiaoding Song, David Wagner, Adrian Perrig · 2002 · 3.3K citations
Raluca Ada Popa, Catherine M. S. Redfield, Nickolai Zeldovich et al. · 2011 · 1.1K citations · Full text
1–5 of 596
1.5K
10
h-index
9
h-index
9
h-index
8
h-index
8
h-index
1–5 of 1.5K
548

University of Waterloo
Waterloo, Canada
15 h-index
28 publications
2.4K citations

Chinese Academy of Sciences
Beijing, China
13 h-index
24 publications
1.8K citations

University of Electronic Science and Technology of China
Chengdu, China
11 h-index
28 publications
866 citations

Xidian University
Xi'an, China
11 h-index
22 publications
1.6K citations

Cornell University
Ithaca, United States
11 h-index
22 publications
2K citations
IMDEA Software Institute
Pozuelo de Alarcón, Spain
11 h-index
18 publications
585 citations
ETH Zurich
Zurich, Switzerland
10 h-index
22 publications
1.4K citations
Columbia University
New York, United States
10 h-index
19 publications
2.1K citations
1–8 of 548
Repository · 47 publications · 2.2K citations
21
h-index
14 publications · 1.4K citations
13
h-index
Repository · 16 publications · 326 citations
12
h-index
10 publications · 359 citations
10
h-index
ISJ · 10 publications · 543 citations
10
h-index
1–5