Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions.

Miguel Ambrona, Gilles Barthe, Romain Gay, Hoeteck Wee

Browse the full CCS paper archive.