CCS2017

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

Miguel Ambrona, Gilles Barthe, Romain Gay, Hoeteck Wee

49 citations

Abstract

Setup(1 ) : KeyGen(mpk, msk, id) : KeyGen(mpk, msk, id) :