{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T23:39:33Z","timestamp":1769729973325,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,10]],"date-time":"2022-10-10T00:00:00Z","timestamp":1665360000000},"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":[[2022,10,10]]},"DOI":"10.1145\/3551349.3559530","type":"proceedings-article","created":{"date-parts":[[2023,1,5]],"date-time":"2023-01-05T20:43:54Z","timestamp":1672951434000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Quacky: Quantitative Access Control Permissiveness Analyzer\u2731"],"prefix":"10.1145","author":[{"given":"William","family":"Eiers","sequence":"first","affiliation":[{"name":"University of California Santa Barbara, United States of America"}]},{"given":"Ganesh","family":"Sankaran","sequence":"additional","affiliation":[{"name":"University of California Santa Barbara, USA"}]},{"given":"Albert","family":"Li","sequence":"additional","affiliation":[{"name":"University of California Santa Barbara, USA"}]},{"given":"Emily","family":"O'Mahony","sequence":"additional","affiliation":[{"name":"University of California Santa Barbara, USA"}]},{"given":"Benjamin","family":"Prince","sequence":"additional","affiliation":[{"name":"University of California Santa Barbara, USA"}]},{"given":"Tevfik","family":"Bultan","sequence":"additional","affiliation":[{"name":"University of California, Santa Barbara, United States of America"}]}],"member":"320","published-online":{"date-parts":[[2023,1,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21690-4_15"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236064"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.23919\/FMCAD.2018.8602994"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_5_1","unstructured":"djleak [n.d.]. Cloud Leak: WSJ Parent Company Dow Jones Exposed Customer Data. https:\/\/www.upguard.com\/breaches\/cloud-leak-dow-jones."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510233"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-008-0087-9"},{"key":"e_1_3_2_1_8_1","unstructured":"Microsoft Inc.[n.d.]. Z3 SMT Solver. https:\/\/github.com\/Z3Prover\/z3."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1924976.1924980"},{"key":"e_1_3_2_1_10_1","volume-title":"14 MEEELLION Verizon subscribers","year":"2017","unstructured":"verizonleak [n.d.]. 14 MEEELLION Verizon subscribers\u2019 details leak from crappily configured AWS S3 data store. https:\/\/www.theregister.co.uk\/2017\/07\/12\/14m_verizon_customers_details_out\/."}],"event":{"name":"ASE '22: 37th IEEE\/ACM International Conference on Automated Software Engineering","location":"Rochester MI USA","acronym":"ASE '22"},"container-title":["Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551349.3559530","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3551349.3559530","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T08:30:06Z","timestamp":1755851406000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551349.3559530"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,10]]},"references-count":10,"alternative-id":["10.1145\/3551349.3559530","10.1145\/3551349"],"URL":"https:\/\/doi.org\/10.1145\/3551349.3559530","relation":{},"subject":[],"published":{"date-parts":[[2022,10,10]]},"assertion":[{"value":"2023-01-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}