%0 Conference Paper %1 conf/fmcad/BackesBCDGLRTV18 %A Backes, John %A Bolignano, Pauline %A Cook, Byron %A Dodge, Catherine %A Gacek, Andrew %A Luckow, Kasper Søe %A Rungta, Neha %A Tkachuk, Oksana %A Varming, Carsten %B FMCAD %D 2018 %E Bjørner, Nikolaj S. %E Gurfinkel, Arie %I IEEE %K dblp %P 1-9 %T Semantic-based Automated Reasoning for AWS Access Policies using SMT. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2018.html#BackesBCDGLRTV18 %@ 978-0-9835678-8-2

@inproceedings{conf/fmcad/BackesBCDGLRTV18, added-at = {2019-10-30T00:00:00.000+0100}, author = {Backes, John and Bolignano, Pauline and Cook, Byron and Dodge, Catherine and Gacek, Andrew and Luckow, Kasper Søe and Rungta, Neha and Tkachuk, Oksana and Varming, Carsten}, biburl = {https://www.bibsonomy.org/bibtex/2810af5b4b5b1ac120bcf12af85b7321d/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2018}, editor = {Bjørner, Nikolaj S. and Gurfinkel, Arie}, ee = {https://doi.org/10.23919/FMCAD.2018.8602994}, interhash = {742b89cd270541b4f60d8cc3afd65a6f}, intrahash = {810af5b4b5b1ac120bcf12af85b7321d}, isbn = {978-0-9835678-8-2}, keywords = {dblp}, pages = {1-9}, publisher = {IEEE}, timestamp = {2024-04-09T23:58:44.000+0200}, title = {Semantic-based Automated Reasoning for AWS Access Policies using SMT.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2018.html#BackesBCDGLRTV18}, year = 2018 }