Kaki Ryan
Orcid: 0009-0002-7764-5715
According to our database1,
Kaki Ryan
authored at least 6 papers
between 2023 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2023
2024
0
1
2
3
4
5
6
1
2
3
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2023
CoRR, 2023
Special Session: CAD for Hardware Security - Promising Directions for Automation of Security Assurance.
Proceedings of the 41st IEEE VLSI Test Symposium, 2023
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.
Proceedings of the Formal Methods in Computer-Aided Design, 2023