Kaki Ryan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2023–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ASPLOS | SYLQ-SV: Scaling Symbolic Execution of Hardware Designs with Query Caching. | Kaki Ryan, Cynthia Sturton |
| 2025 | FDL | Leveraging Piecewise Composition to Infer Environment Constraints for Hardware Designs. | Kaki Ryan, Cynthia Sturton |
| 2025 | VTS | Special Session: Bringing Symbolic Execution to the Security Verification of Hardware Designs. | Kaki Ryan, Cynthia Sturton |
| 2023 | FMCAD | Sylvia: Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs. | Kaki Ryan, Cynthia Sturton |
| 2023 | VTS | 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 |