18 citations · 21 across the 8 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
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★ 1 cited
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…