フォロー
Edvard Fagerholm
Edvard Fagerholm
Software Engineer, Google
確認したメール アドレス: google.com
タイトル
引用先
引用先
年
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
32019
Automated analysis in generic groups
E Fagerholm
University of Pennsylvania, 2015
12015
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–4