Cynthia Sturton

1. Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs
   2023/04/11 by Kaki Ryan, Cynthia Sturton, Ryan, Kaki +1 · 3 citations
   Engineering · Computer Science · #Radiation Effects in Electronics #Formal Methods in Verification #VLSI and Analog Circuit Testing
2. CHARGE: Leveraging CWE Hierarchies for Hardware Security SystemVerilog Assertion Generation
   2026/07/30 by Xiao Tan, Cynthia Sturton
   Computer Science · #cs.CR