%0 Conference Paper %1 conf/pldi/0001KOTRKSHC13 %A Li, Xun %A Kashyap, Vineeth %A Oberg, Jason K. %A Tiwari, Mohit %A Rajarathinam, Vasanth Ram %A Kastner, Ryan %A Sherwood, Timothy %A Hardekopf, Ben %A Chong, Frederic T. %B PLAS %D 2013 %E Naldurg, Prasad %E Swamy, Nikhil %I ACM %K dblp %P 39-44 %T Position paper: Sapper - a language for provable hardware policy enforcement. %U http://dblp.uni-trier.de/db/conf/pldi/plas2013.html#0001KOTRKSHC13 %@ 978-1-4503-2144-0

@inproceedings{conf/pldi/0001KOTRKSHC13, added-at = {2024-05-07T00:00:00.000+0200}, author = {Li, Xun and Kashyap, Vineeth and Oberg, Jason K. and Tiwari, Mohit and Rajarathinam, Vasanth Ram and Kastner, Ryan and Sherwood, Timothy and Hardekopf, Ben and Chong, Frederic T.}, biburl = {https://www.bibsonomy.org/bibtex/2ad24dc8614b96e642019a255dc216d6a/dblp}, booktitle = {PLAS}, crossref = {conf/pldi/2013plas}, editor = {Naldurg, Prasad and Swamy, Nikhil}, ee = {https://doi.org/10.1145/2465106.2465214}, interhash = {5dcbc4281b5bc2610b170661853519a2}, intrahash = {ad24dc8614b96e642019a255dc216d6a}, isbn = {978-1-4503-2144-0}, keywords = {dblp}, pages = {39-44}, publisher = {ACM}, timestamp = {2024-05-13T09:02:13.000+0200}, title = {Position paper: Sapper - a language for provable hardware policy enforcement.}, url = {http://dblp.uni-trier.de/db/conf/pldi/plas2013.html#0001KOTRKSHC13}, year = 2013 }