Miguel Ambrona, Gilles Barthe, Romain Gay, Hoeteck Wee. Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions.
ACM Conference on Computer and Communications Security (CCS) 2017, Oct 2017, Dallas, United States.
⟨hal-01599851⟩