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

Antonio De La Piedra, Marloes Venema, Greg Alpár. ACABELLA: Automated (Crypt)analysis of Attribute-Based Encryption Leveraging Linear Algebra. IACR Cryptology ePrint Archive, 2023:1274, 2023. [doi]

Abstract

Abstract is missing.