%0 Conference Paper %1 conf/eurosp/JacommeKS17 %A Jacomme, Charlie %A Kremer, Steve %A Scerri, Guillaume %B EuroS&P %D 2017 %I IEEE %K dblp %P 530-545 %T Symbolic Models for Isolated Execution Environments. %U http://dblp.uni-trier.de/db/conf/eurosp/eurosp2017.html#JacommeKS17 %@ 978-1-5090-5762-7

@inproceedings{conf/eurosp/JacommeKS17, added-at = {2024-10-06T00:00:00.000+0200}, author = {Jacomme, Charlie and Kremer, Steve and Scerri, Guillaume}, biburl = {https://www.bibsonomy.org/bibtex/2ceb6d2484c56b38f6c6b484162c8636e/dblp}, booktitle = {EuroS&P}, crossref = {conf/eurosp/2017}, ee = {https://doi.org/10.1109/EuroSP.2017.16}, interhash = {23ebf7ef81cf78e5b0f75f07e6a32741}, intrahash = {ceb6d2484c56b38f6c6b484162c8636e}, isbn = {978-1-5090-5762-7}, keywords = {dblp}, pages = {530-545}, publisher = {IEEE}, timestamp = {2024-10-07T08:23:11.000+0200}, title = {Symbolic Models for Isolated Execution Environments.}, url = {http://dblp.uni-trier.de/db/conf/eurosp/eurosp2017.html#JacommeKS17}, year = 2017 }