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
Annual Cryptology Conference, 95-112, 2014
442014
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
342016
EasyCrypt: Computer-Aided Cryptographic Proofs
G Barthe, F Dupressoir, B Gregoire, A Stoughton, PY Strub
42018
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 (2), 324-360, 2019
12019
Automated analysis in generic groups
EOV Fagerholm
12015
The system can't perform the operation now. Try again later.
Articles 1–5