ACABELLA: Automated (Crypt)analysis of Attribute-Based Encryption Leveraging Linear Algebra-Reference-Cited by-同舟云学术

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

Published:2023-11-15 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security
language:
Short-container-title:

Author:

de la Piedra Antonio¹^ORCID,Venema Marloes²^ORCID,Alpár Greg³^ORCID

Affiliation:

1. Kudelski Security Research Team, Cheseaux-sur-Lausanne, Switzerland

2. Radboud University & University of Wuppertal, Nijmegen; Wuppertal, Netherlands

3. Open University of the Netherlands & Radboud University, Heerlen; Nijmegen, Netherlands

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3576915.3616576

Reference33 articles.

1. S. Agrawal and M. Chase. 2016. A Study of Pair Encodings: Predicate Encryption in Prime Order Groups. In TCC (LNCS, Vol. 9563), E. Kushilevitz and T. Malkin (Eds.). Springer, 259--288.

2. S. Agrawal and M. Chase. 2017. Simplifying Design and Analysis of Complex Predicate Encryption Schemes. In EUROCRYPT (LNCS, Vol. 10210), J.-S. Coron and J. B. Nielsen (Eds.). Springer, 627--656.

3. M. Ambrona G. Barthe R. Gay and H. Wee. 2017b. Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions. In CCS B. M. Thuraisingham D. Evans T. Malkin and D. Xu (Eds.). ACM 647--664.

4. M. Ambrona, G. Barthe, and B. Schmidt. 2017a. Generic Transformations of Predicate Encodings: Constructions and Applications. In CRYPTO (LNCS, Vol. 10401), J. Katz and H. Shacham (Eds.). Springer, 36--66.

5. Dual System Encryption via Doubly Selective Security: Framework, Fully Secure Functional Encryption for Regular Languages, and More

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Using Predicate Extension for Predicate Encryption to Generically Obtain Chosen-Ciphertext Security and Signatures;IACR Communications in Cryptology;2024-04-09

2. AB-PAKE: Achieving Fine-Grained Access Control and Flexible Authentication;IEEE Transactions on Information Forensics and Security;2024