18 citations · 19 across the 6 of their papers we have counts for
5 papers · 1 filter
RTL-Arrow: Hardware-to-Cloud Bridge
Calvin Deutschbein, Jimmy Ostler
Hardware Security at Willamette is a Willamette University affiliated research group studying the hardware-software interface of security critical services. Within our program, we…
Information Flow Paths from RTL Traces
Calvin Deutschbein, Owyn Wyatt
Security validation is an important yet challenging part of the hardware design process, yet, by convention, validation engineers are tasked with defining the threat model, specify…
"vcd2df" -- Leveraging Data Science Insights for Hardware Security Research
Calvin Deutschbein, Jimmy Ostler, Hriday Raj
In this work, we hope to expand the universe of security practitioners of open-source hardware by creating a bridge from hardware design languages (HDLs) to data science languages…
Mining Secure Behavior of Hardware Designs
Calvin Deutschbein
Specification mining offers a solution by automating security specification for hardware. Specification miners use a form of machine learning to specify behaviors of a system by st…
Isadora: Automated Information Flow Property Generation for Hardware Designs
Calvin Deutschbein, Andres Meza, Francesco Restuccia +2
Isadora is a methodology for creating information flow specifications of hardware designs. The methodology combines information flow tracking and specification mining to produce a…