Kaki Ryan

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 5

Top Topics

Simulated Annealing Algorithm

Symbolic Execution

Hardware Designs

Information Flows

Top Venues

Publications

Kaki Ryan, Cynthia Sturton
Sylvia: Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs. FMCAD (2023)
Kaki Ryan, Cynthia Sturton
Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs. CoRR (2023)
Kaki Ryan, Matthew Gregoire, Cynthia Sturton
SEIF: Augmented Symbolic Execution for Information Flow in Hardware Designs. HASP@MICRO (2023)
Sohrab Aftabjahani, Mark M. Tehranipoor, Farimah Farahmandi, Bulbul Ahmed, Ryan Kastner, Francesco Restuccia, Andres Meza, Kaki Ryan, Nicole Fern, Jasper Van Woudenberg, Rajesh Velegalati, Cees-Bart Breunesse, Cynthia Sturton, Calvin Deutschbein
Special Session: CAD for Hardware Security - Promising Directions for Automation of Security Assurance. VTS (2023)
Kaki Ryan, Matthew Gregoire, Cynthia Sturton
Augmented Symbolic Execution for Information Flow in Hardware Designs. CoRR (2023)