BibTeX record conf/isocc/TangWGH22

download as .bib file

@inproceedings{DBLP:conf/isocc/TangWGH22,
  author       = {Shibo Tang and
                  Xingxin Wang and
                  Yifei Gao and
                  Wei Hu},
  title        = {Accelerating SoC Security Verification and Vulnerability Detection
                  Through Symbolic Execution},
  booktitle    = {19th International SoC Design Conference, {ISOCC} 2022, Gangneung-si,
                  Republic of Korea, October 19-22, 2022},
  pages        = {207--208},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ISOCC56007.2022.10031481},
  doi          = {10.1109/ISOCC56007.2022.10031481},
  timestamp    = {Sat, 11 Mar 2023 00:11:41 +0100},
  biburl       = {https://dblp.org/rec/conf/isocc/TangWGH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}