%0 Conference Paper %1 conf/eurocrypt/PassST17 %A Pass, Rafael %A Shi, Elaine %A Tramèr, Florian %B EUROCRYPT (1) %D 2017 %E Coron, Jean-Sébastien %E Nielsen, Jesper Buus %K %P 260-289 %T Formal Abstractions for Attested Execution Secure Processors. %U http://dblp.uni-trier.de/db/conf/eurocrypt/eurocrypt2017-1.html#PassST17 %V 10210 %@ 978-3-319-56620-7

@inproceedings{conf/eurocrypt/PassST17, added-at = {2023-12-12T18:50:58.000+0100}, author = {Pass, Rafael and Shi, Elaine and Tramèr, Florian}, biburl = {https://www.bibsonomy.org/bibtex/2cad8821aa6af842acdb1385e10d666bc/admin}, booktitle = {EUROCRYPT (1)}, crossref = {conf/eurocrypt/2017-1}, editor = {Coron, Jean-Sébastien and Nielsen, Jesper Buus}, ee = {https://doi.org/10.1007/978-3-319-56620-7_10}, interhash = {181af752f32a2bf2ffaefa01633f7591}, intrahash = {cad8821aa6af842acdb1385e10d666bc}, isbn = {978-3-319-56620-7}, keywords = {}, pages = {260-289}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T18:50:58.000+0100}, title = {Formal Abstractions for Attested Execution Secure Processors.}, url = {http://dblp.uni-trier.de/db/conf/eurocrypt/eurocrypt2017-1.html#PassST17}, volume = 10210, year = 2017 }