Sylvia: Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs. - Kaki Ryan; Cynthia Sturton (FMCAD, 2023)

SEIF: Augmented Symbolic Execution for Information Flow in Hardware Designs. - Kaki Ryan; Matthew Gregoire; Cynthia Sturton (HASP@MICRO, 2023)

Special Session: CAD for Hardware Security - Promising Directions for Automation of Security Assurance. - Sohrab Aftabjahani; Mark Tehranipoor; Farimah Farahmandi; Bulbul Ahmed; Ryan Kastner; Francesco Restuccia 002; Andres Meza 001; Kaki Ryan; Nicole Fern; Jasper Van Woudenberg; Rajesh Velegalati; Cees-Bart Breunesse; et al. (VTS, 2023)

Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs. - Kaki Ryan; Cynthia Sturton (CoRR, 2023)

Augmented Symbolic Execution for Information Flow in Hardware Designs. - Kaki Ryan; Matthew Gregoire; Cynthia Sturton (CoRR, 2023)

Security Properties for Open-Source Hardware Designs. - Jayden Rogers; Niyaz Shakeel; Divya Mankani; Samantha Espinosa; Cade Chabra; Kaki Ryan; Cynthia Sturton (CoRR, 2024)

Special Session: Bringing Symbolic Execution to the Security Verification of Hardware Designs. - Kaki Ryan; Cynthia Sturton (VTS, 2025)