BibTeX record conf/hasp/RyanGS23

download as .bib file

@inproceedings{DBLP:conf/hasp/RyanGS23,
  author       = {Kaki Ryan and
                  Matthew Gregoire and
                  Cynthia Sturton},
  title        = {{SEIF:} Augmented Symbolic Execution for Information Flow in Hardware
                  Designs},
  booktitle    = {Proceedings of the 12th International Workshop on Hardware and Architectural
                  Support for Security and Privacy, {HASP} 2023, Toronto, Canada, 29
                  October 2023},
  pages        = {1--9},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3623652.3623666},
  doi          = {10.1145/3623652.3623666},
  timestamp    = {Thu, 09 Nov 2023 21:13:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hasp/RyanGS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}