{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,7]],"date-time":"2026-01-07T07:55:18Z","timestamp":1767772518895,"version":"build-2065373602"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,11,15]],"date-time":"2023-11-15T00:00:00Z","timestamp":1700006400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,11,15]]},"DOI":"10.1145\/3576915.3616576","type":"proceedings-article","created":{"date-parts":[[2023,11,21]],"date-time":"2023-11-21T12:35:13Z","timestamp":1700570113000},"page":"3269-3283","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["ACABELLA: Automated (Crypt)analysis of Attribute-Based Encryption Leveraging Linear Algebra"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0916-8937","authenticated-orcid":false,"given":"Antonio","family":"de la Piedra","sequence":"first","affiliation":[{"name":"Kudelski Security Research Team, Cheseaux-sur-Lausanne, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4483-400X","authenticated-orcid":false,"given":"Marloes","family":"Venema","sequence":"additional","affiliation":[{"name":"Radboud University & University of Wuppertal, Nijmegen; Wuppertal, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-6814-9512","authenticated-orcid":false,"given":"Greg","family":"Alp\u00e1r","sequence":"additional","affiliation":[{"name":"Open University of the Netherlands & Radboud University, Heerlen; Nijmegen, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,11,21]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"TCC (LNCS","volume":"288","author":"Agrawal S.","unstructured":"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."},{"key":"e_1_3_2_1_2_1","volume-title":"Simplifying Design and Analysis of Complex Predicate Encryption Schemes. In EUROCRYPT (LNCS","volume":"656","author":"Agrawal S.","unstructured":"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."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1145\/3133956.3134088"},{"key":"e_1_3_2_1_4_1","volume-title":"Generic Transformations of Predicate Encodings: Constructions and Applications. In CRYPTO (LNCS","volume":"66","author":"Ambrona M.","unstructured":"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."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-55220-5_31"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53890-6_20"},{"volume-title":"EUROCRYPT (LNCS","author":"Attrapadung N.","key":"e_1_3_2_1_7_1","unstructured":"N. Attrapadung. 2019. Unbounded Dynamic Predicate Compositions in Attribute-Based Encryption. In EUROCRYPT (LNCS, Vol. 11476), Y. Ishai and V. Rijmen (Eds.). Springer, 34--67."},{"key":"e_1_3_2_1_8_1","unstructured":"A. Beimel. 1996. Secure Schemes for Secret Sharing and Key Distribution. PhD Thesis. Ben Gurion University."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"J. Bethencourt A. Sahai and B. Waters. 2007. Ciphertext-Policy Attribute-Based Encryption. In S&P. IEEE 321--334.","DOI":"10.1109\/SP.2007.11"},{"key":"e_1_3_2_1_10_1","volume-title":"Efficient Selective-ID Secure Identity-Based Encryption Without Random Oracles. In EUROCRYPT (LNCS","volume":"238","author":"Boneh D.","unstructured":"D. Boneh and X. Boyen. 2004. Efficient Selective-ID Secure Identity-Based Encryption Without Random Oracles. In EUROCRYPT (LNCS, Vol. 3027), C. Cachin and J. Camenisch (Eds.). Springer, 223--238."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70936-7_28"},{"key":"e_1_3_2_1_12_1","unstructured":"ETSI. 2018. ETSI TS 103 458 (V1.1.1). Technical Specification. European Telecommunications Standards Institute (ETSI)."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"V. Goyal O. Pandey A. Sahai and B. Waters. 2006 a. Attribute-Based Encryption for Fine-Grained Access Control of Encrypted Data. In CCS A. Juels R. N. Wright and S. De Capitani di Vimercati (Eds.). ACM.","DOI":"10.1145\/1180405.1180418"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"V. Goyal O. Pandey A. Sahai and B. Waters. 2006 b. Attribute-Based Encryption for Fine-Grained Access Control of Encrypted Data. Cryptology ePrint Archive Report 2006\/309.","DOI":"10.1145\/1180405.1180418"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3044143"},{"key":"e_1_3_2_1_16_1","volume-title":"Cryptographic Cloud Storage. In RLCPS (LNCS","volume":"149","author":"Kamara S.","unstructured":"S. Kamara and K. E. Lauter. 2010. Cryptographic Cloud Storage. In RLCPS (LNCS, Vol. 6054), R. Sion, R. Curtmola, S. Dietrich, A. Kiayias, J. M. Miret, K. Sako, and F. Seb\u00e9 (Eds.). Springer, 136--149."},{"key":"e_1_3_2_1_17_1","volume-title":"Portunus: Re-imagining Access Control in Distributed Systems. In USENIX ATC. 35--52.","author":"Ladd W.","year":"2023","unstructured":"W. Ladd, T. Verma, M. Venema, A. Faz-H\u00e9rnandez, B. McMillion, A. Wildani, and N. Sullivan. 2023. Portunus: Re-imagining Access Control in Distributed Systems. In USENIX ATC. 35--52."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"A. Lewko and B. Waters. 2011. Decentralizing Attribute-Based Encryption. In EUROCRYPT. Springer 568--588.","DOI":"10.1007\/978-3-642-20465-4_31"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.7717\/peerj-cs.103"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3548606.3560699"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Y. Rouselakis and B. Waters. 2013. Practical Constructions and New Proof Methods for Large Universe Attribute-Based Encryption. In CCS A.-R. Sadeghi V. D. Gligor and M. Yung (Eds.). ACM 463--474.","DOI":"10.1145\/2508859.2516672"},{"key":"e_1_3_2_1_22_1","volume-title":"Efficient Statically-Secure Large-Universe Multi-Authority Attribute-Based Encryption. In FC (LNCS","volume":"332","author":"Rouselakis Y.","unstructured":"Y. Rouselakis and B. Waters. 2015. Efficient Statically-Secure Large-Universe Multi-Authority Attribute-Based Encryption. In FC (LNCS, Vol. 8975), R. B\u00f6hme and T. Okamoto (Eds.). Springer, 315--332."},{"key":"e_1_3_2_1_23_1","volume-title":"Fuzzy Identity-Based Encryption. In EUROCRYPT (LNCS","volume":"473","author":"Sahai A.","unstructured":"A. Sahai and B. Waters. 2005. Fuzzy Identity-Based Encryption. In EUROCRYPT (LNCS, Vol. 3494), R. Cramer (Ed.). Springer, 457--473."},{"volume-title":"Policy-Sealed Data: A New Abstraction for Building Trusted Cloud Services. In USENIX Security Symposium. USENIX Association, 175--188","author":"Santos N.","key":"e_1_3_2_1_24_1","unstructured":"N. Santos, R. Rodrigues, K. P. Gummadi, and S. Saroiu. 2012. Policy-Sealed Data: A New Abstraction for Building Trusted Cloud Services. In USENIX Security Symposium. USENIX Association, 175--188."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-69053-0_18"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-30872-7_6"},{"key":"e_1_3_2_1_27_1","volume-title":"CT-RSA (LNCS","volume":"125","author":"Venema M.","unstructured":"M. Venema and G. Alp\u00e1r. 2021. A Bunch of Broken Schemes: A Simple yet Powerful Linear Approach to Analyzing Security of Attribute-Based Encryption. In CT-RSA (LNCS, Vol. 12704), K. G. Paterson (Ed.). Springer, 100--125."},{"volume-title":"TinyABE: Unrestricted Ciphertext-Policy Attribute-Based Encryption for Embedded Devices and Low-Quality Networks. In AFRICACRYPT (LNCS","author":"Venema M.","key":"e_1_3_2_1_28_1","unstructured":"M. Venema and G. Alp\u00e1r. 2022. TinyABE: Unrestricted Ciphertext-Policy Attribute-Based Encryption for Embedded Devices and Low-Quality Networks. In AFRICACRYPT (LNCS, Vol. 13503), L. Batina and J. Daemen (Eds.). Springer, 103--129."},{"key":"e_1_3_2_1_29_1","volume-title":"GLUE: Generalizing Unbounded Attribute-Based Encryption for Flexible Efficiency Trade-Offs. In PKC (LNCS","author":"Venema M.","year":"2023","unstructured":"M. Venema and G. Alp\u00e1r. 2023. GLUE: Generalizing Unbounded Attribute-Based Encryption for Flexible Efficiency Trade-Offs. In PKC (LNCS, Vol. 13940), A. Boldyreva and V. Kolesnikov (Eds.). Springer, 652--682."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10623-022-01093-5"},{"key":"e_1_3_2_1_31_1","volume-title":"Sieve: Cryptographically Enforced Access Control for User Data in Untrusted Clouds","author":"Wang F.","year":"2016","unstructured":"F. Wang, J. Mickens, N. Zeldovich, and V. Vaikuntanathan. 2016. Sieve: Cryptographically Enforced Access Control for User Data in Untrusted Clouds. In NSDI, Katerina J. Argyraki and Rebecca Isaacs (Eds.). USENIX Association, 611--626."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03356-8_36"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19379-8_4"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54242-8_26"},{"key":"e_1_3_2_1_35_1","volume-title":"TCC (LNCS","volume":"258","author":"Wee H.","year":"2016","unstructured":"H. Wee. 2016. D\u00e9j\u00e0 Q: Encore! Un Petit IBE. In TCC (LNCS, Vol. 9563), E. Kushilevitz and T. Malkin (Eds.). Springer, 237--258."}],"event":{"name":"CCS '23: ACM SIGSAC Conference on Computer and Communications Security","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Copenhagen Denmark","acronym":"CCS '23"},"container-title":["Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3576915.3616576","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3576915.3616576","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T01:35:58Z","timestamp":1755740158000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3576915.3616576"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,15]]},"references-count":35,"alternative-id":["10.1145\/3576915.3616576","10.1145\/3576915"],"URL":"https:\/\/doi.org\/10.1145\/3576915.3616576","relation":{},"subject":[],"published":{"date-parts":[[2023,11,15]]},"assertion":[{"value":"2023-11-21","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}