1 citations · 1 across the 1 of their papers we have counts for
3 papers
cs.CR2024★ 1 cited
Security Properties for Open-Source Hardware Designs
Jayden Rogers, Niyaz Shakeel, Divya Mankani +4
The hardware security community relies on databases of known vulnerabilities and open-source designs to develop formal verification methods for identifying hardware security flaws.…
cs.CR2023
Augmented Symbolic Execution for Information Flow in Hardware Designs
Kaki Ryan, Matthew Gregoire, Cynthia Sturton
We present SEIF, a methodology that combines static analysis with symbolic execution to verify and explicate information flow paths in a hardware design. SEIF begins with a statica…
cs.CR2023
Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs
Kaki Ryan, Cynthia Sturton
Symbolic execution is a powerful verification tool for hardware designs, but suffers from the path explosion problem. We introduce a new approach, piecewise composition, which leve…