Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model

DOI10.1007/978-3-662-49896-5_29zbMath1371.94618OpenAlexW2438407744MaRDI QIDQ5739224

Benedikt Schmidt, Miguel Ambrona, Gilles Barthe

Publication date: 15 July 2016

Published in: Advances in Cryptology – EUROCRYPT 2016 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-49896-5_29

Mathematics Subject Classification ID

Cryptography (94A60)

Related Items (5)

Formal analysis of symbolic authenticity ⋮ More efficient structure-preserving signatures -- or: bypassing the type-III lower bounds ⋮ A Shuffle Argument Secure in the Generic Model ⋮ On the security of functional encryption in the generic group model ⋮ Local XOR unification: definitions, algorithms and application to cryptography

This page was built for publication: Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model