Edvard Fagerholm

发表

Automated Analysis of Cryptographic Assumptions in Generic Group Models

Gilles Barthe, John C. Mitchell, Andre Scedrov, 2018, Journal of Cryptology.

Strongly-Optimal Structure Preserving Signatures from Type II Pairings: Synthesis and Lower Bounds

Mehdi Tibouchi, Gilles Barthe, Andre Scedrov, 2015, Public Key Cryptography.

Strongly-optimal structure preserving signatures from Type II pairings: synthesis and lower bounds

Mehdi Tibouchi, Gilles Barthe, Andre Scedrov, 2016, IET Inf. Secur..

Automated Analysis of Cryptographic Assumptions in Generic Group Models

Gilles Barthe, John C. Mitchell, Andre Scedrov, 2014, IACR Cryptol. ePrint Arch..