Kaki Ryan, Matthew Gregoire, Cynthia Sturton. SEIF: Augmented Symbolic Execution for Information Flow in Hardware Designs. In 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, ACM, 2023. [doi]
@inproceedings{RyanGS23,
title = {SEIF: Augmented Symbolic Execution for Information Flow in Hardware Designs},
author = {Kaki Ryan and Matthew Gregoire and Cynthia Sturton},
year = {2023},
doi = {10.1145/3623652.3623666},
url = {https://doi.org/10.1145/3623652.3623666},
researchr = {https://researchr.org/publication/RyanGS23},
cites = {0},
citedby = {0},
pages = {1-9},
booktitle = {Proceedings of the 12th International Workshop on Hardware and Architectural Support for Security and Privacy, HASP 2023, Toronto, Canada, 29 October 2023},
publisher = {ACM},
}