Kaki Ryan

According to our database, Kaki Ryan authored at least 5 papers in 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Augmented Symbolic Execution for Information Flow in Hardware Designs.

Kaki Ryan, Matthew Gregoire, Cynthia Sturton

CoRR, 2023

Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs.

Kaki Ryan, Cynthia Sturton

CoRR, 2023

Special Session: CAD for Hardware Security - Promising Directions for Automation of Security Assurance.

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

Proceedings of the 41st IEEE VLSI Test Symposium, 2023

SEIF: Augmented Symbolic Execution for Information Flow in Hardware Designs.

Kaki Ryan, Matthew Gregoire, Cynthia Sturton

Proceedings of the 12th International Workshop on Hardware and Architectural Support for Security and Privacy, 2023

Sylvia: Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs.

Kaki Ryan, Cynthia Sturton

Proceedings of the Formal Methods in Computer-Aided Design, 2023