ACABELLA: Automated (Crypt)analysis of Attribute-Based Encryption Leveraging Linear Algebra

ePrint Report: ACABELLA: Automated (Crypt)analysis of Attribute-Based Encryption Leveraging Linear Algebra

Antonio de la Piedra, Marloes Venema, Greg Alpár

Attribute-based encryption (ABE) is a popular type of public-key encryption that enforces access control cryptographically, and has spurred the proposal of many use cases. To satisfy the requirements of the setting, tailor-made schemes are often introduced. However, designing secure schemes---as well as verifying that they are secure---is notoriously hard. Several of these schemes have turned out to be broken, making them …

access access control algebra analysis attribute-based encryption automated cases control encryption eprint report key linear popular public report requirements use cases