Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record conf/pldi/0001KOTRKSHC13
@inproceedings{DBLP:conf/pldi/0001KOTRKSHC13, author = {Xun Li and Vineeth Kashyap and Jason K. Oberg and Mohit Tiwari and Vasanth Ram Rajarathinam and Ryan Kastner and Timothy Sherwood and Ben Hardekopf and Frederic T. Chong}, editor = {Prasad Naldurg and Nikhil Swamy}, title = {Position paper: Sapper - a language for provable hardware policy enforcement}, booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} Workshop on Programming Languages and Analysis for Security, {PLAS} 2013, Seattle, WA, USA, June 20, 2013}, pages = {39--44}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2465106.2465214}, doi = {10.1145/2465106.2465214}, timestamp = {Sat, 30 Sep 2023 09:54:48 +0200}, biburl = {https://dblp.org/rec/conf/pldi/0001KOTRKSHC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.