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}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.