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

Antonio de la Piedra, Marloes Venema, Greg Alpr

Browse the full CCS paper archive.