| 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 | 53 | 2014 |
| 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 | 3 | 2019 |
