%0 Conference Paper %1 conf/ccs/AlmeidaBBCCGPPS19 %A Almeida, José Bacelar %A Barbosa, Manuel %A Barthe, Gilles %A Campagna, Matthew %A Cohen, Ernie %A Grégoire, Benjamin %A Pereira, Vitor %A Portela, Bernardo %A Strub, Pierre-Yves %A Tasiran, Serdar %B CCS %D 2019 %E Cavallaro, Lorenzo %E Kinder, Johannes %E Wang, XiaoFeng %E Katz, Jonathan %I ACM %K dblp %P 63-78 %T A Machine-Checked Proof of Security for AWS Key Management Service. %U http://dblp.uni-trier.de/db/conf/ccs/ccs2019.html#AlmeidaBBCCGPPS19 %@ 978-1-4503-6747-9

@inproceedings{conf/ccs/AlmeidaBBCCGPPS19, added-at = {2019-11-08T00:00:00.000+0100}, author = {Almeida, José Bacelar and Barbosa, Manuel and Barthe, Gilles and Campagna, Matthew and Cohen, Ernie and Grégoire, Benjamin and Pereira, Vitor and Portela, Bernardo and Strub, Pierre-Yves and Tasiran, Serdar}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c61491be202737ac6f122632bdaa74ed/dblp}, booktitle = {CCS}, crossref = {conf/ccs/2019}, editor = {Cavallaro, Lorenzo and Kinder, Johannes and Wang, XiaoFeng and Katz, Jonathan}, ee = {https://doi.org/10.1145/3319535.3354228}, interhash = {2be1bc203e8c762ff9cb57cedcc49bfe}, intrahash = {c61491be202737ac6f122632bdaa74ed}, isbn = {978-1-4503-6747-9}, keywords = {dblp}, pages = {63-78}, publisher = {ACM}, timestamp = {2019-11-26T07:57:15.000+0100}, title = {A Machine-Checked Proof of Security for AWS Key Management Service.}, url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2019.html#AlmeidaBBCCGPPS19}, year = 2019 }