@inproceedings{Backes_2018,
    doi = {10.23919/fmcad.2018.8602994},
    url = {https://doi.org/10.23919%2Ffmcad.2018.8602994},
    year = {2018},
    month = {oct},
    publisher = {{IEEE}},
    author = {John Backes and Pauline Bolignano and Byron Cook and Catherine Dodge and Andrew Gacek and Kasper Luckow and Neha Rungta and Oksana Tkachuk and Carsten Varming},
    title = {Semantic-based Automated Reasoning for {AWS} Access Policies using {SMT}},
    booktitle = {2018 Formal Methods in Computer Aided Design ({FMCAD})}
}

@inproceedings{Backes_2018, doi = {10.23919/fmcad.2018.8602994}, url = {https://doi.org/10.23919%2Ffmcad.2018.8602994}, year = {2018}, month = {oct}, publisher = {{IEEE}}, author = {John Backes and Pauline Bolignano and Byron Cook and Catherine Dodge and Andrew Gacek and Kasper Luckow and Neha Rungta and Oksana Tkachuk and Carsten Varming}, title = {Semantic-based Automated Reasoning for {AWS} Access Policies using {SMT}}, booktitle = {2018 Formal Methods in Computer Aided Design ({FMCAD})} }