BibTeX record conf/dac/HuangRGFM18

download as .bib file

@inproceedings{DBLP:conf/dac/HuangRGFM18,
  author    = {Bo{-}Yuan Huang and
               Sayak Ray and
               Aarti Gupta and
               Jason M. Fung and
               Sharad Malik},
  title     = {Formal security verification of concurrent firmware in SoCs using
               instruction-level abstraction for hardware},
  booktitle = {Proceedings of the 55th Annual Design Automation Conference, {DAC}
               2018, San Francisco, CA, USA, June 24-29, 2018},
  pages     = {91:1--91:6},
  year      = {2018},
  crossref  = {DBLP:conf/dac/2018},
  url       = {https://doi.org/10.1145/3195970.3196055},
  doi       = {10.1145/3195970.3196055},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dac/HuangRGFM18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/2018,
  title     = {Proceedings of the 55th Annual Design Automation Conference, {DAC}
               2018, San Francisco, CA, USA, June 24-29, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {http://dl.acm.org/citation.cfm?id=3195970},
  isbn      = {978-1-5386-4114-9},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dac/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics