BibTeX record conf/pldi/0001THSC10

• > Home > conf/pldi/0001THSC10

@inproceedings{DBLP:conf/pldi/0001THSC10,
  author       = {Xun Li and
                  Mohit Tiwari and
                  Ben Hardekopf and
                  Timothy Sherwood and
                  Frederic T. Chong},
  editor       = {Anindya Banerjee and
                  Deepak Garg},
  title        = {Secure information flow analysis for hardware design: using the right
                  abstraction for the job},
  booktitle    = {Proceedings of the 2010 Workshop on Programming Languages and Analysis
                  for Security, {PLAS} 2010, Toronto, ON, Canada, 10 June, 2010},
  pages        = {8},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1814217.1814225},
  doi          = {10.1145/1814217.1814225},
  timestamp    = {Tue, 07 May 2024 20:09:48 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/0001THSC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}