Kaki Ryan

According to our database, Kaki Ryan authored at least 8 papers between 2023 and 2025.

Collaborative distances:

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

2025

Special Session: Bringing Symbolic Execution to the Security Verification of Hardware Designs.

Kaki Ryan, Cynthia Sturton

Proceedings of the 43rd IEEE VLSI Test Symposium, 2025

Leveraging Piecewise Composition to Infer Environment Constraints for Hardware Designs.

Kaki Ryan, Cynthia Sturton

Proceedings of the Forum on Specification & Design Languages, 2025

2024

Security Properties for Open-Source Hardware Designs.

Jayden Rogers, Niyaz Shakeel, Divya Mankani, Samantha Espinosa, Cade Chabra, Kaki Ryan, Cynthia Sturton

CoRR, 2024

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 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