@misc{cryptoeprint:2017:983,
    author = {Miguel Ambrona and Gilles Barthe and Romain Gay and Hoeteck Wee},
    title = {Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions},
    howpublished = {Cryptology ePrint Archive, Report 2017/983},
    year = {2017},
    url = {https://eprint.iacr.org/2017/983},
}