@INPROCEEDINGS {EnumCloudPerm-FMCAD26,
    author    = "Lee A. Barnett and Loris D'Antoni and Amit Goel and Rami K{\i}c{\i} and Tim King and Neha Rungta and Yasmine Sharoda",
    title     = "Efficient Enumeration of Cloud Access Permissions",
    booktitle = "Conference on Formal Methods in Computer-Aided Design -- {FMCAD}",
    year      = "2026",
    editor    = "Bruno Dutertre and Bettina K{\"o}nighofer",
    pages     = "260--270",
    publisher = "TU Wien Academic Press",
    doi       = "10.34727/2026/isbn.978-3-85448-093-8\_32"  
}