BibTeX record conf/pldi/0001KOTRKSHC13

• > Home > 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    = {Tue, 07 May 2024 20:09:48 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/0001KOTRKSHC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}