Kaki Ryan

Orcid: 0009-0002-7764-5715

According to our database1, Kaki Ryan authored at least 6 papers between 2023 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2023
2024
0
1
2
3
4
5
6
1
2
3

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Security Properties for Open-Source Hardware Designs.
CoRR, 2024

2023
Augmented Symbolic Execution for Information Flow in Hardware Designs.
CoRR, 2023

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

Special Session: CAD for Hardware Security - Promising Directions for Automation of Security Assurance.
Proceedings of the 41st IEEE VLSI Test Symposium, 2023

SEIF: Augmented Symbolic Execution for Information Flow in Hardware Designs.
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


  Loading...