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]
Abstract is missing.