Follow
Edvard Fagerholm
Edvard Fagerholm
Software Engineer, Google
Verified email at google.com
Title
Cited by
Cited by
Year
Automated analysis of cryptographic assumptions in generic group models
G Barthe, E Fagerholm, D Fiore, J Mitchell, A Scedrov, B Schmidt
Advances in Cryptology–CRYPTO 2014: 34th Annual Cryptology Conference, Santa …, 2014
532014
Strongly‐optimal structure preserving signatures from Type II pairings: synthesis and lower bounds
G Barthe, E Fagerholm, D Fiore, A Scedrov, B Schmidt, M Tibouchi
IET Information Security 10 (6), 358-371, 2016
422016
Automated analysis of cryptographic assumptions in generic group models
G Barthe, E Fagerholm, D Fiore, J Mitchell, A Scedrov, B Schmidt
Journal of Cryptology 32, 324-360, 2019
22019
Automated analysis in generic groups
E Fagerholm
University of Pennsylvania, 2015
12015
The system can't perform the operation now. Try again later.
Articles 1–4