activity
20212026
most citedIsadora: Automated Information Flow Property Generation for Hardware Designs

18 citations · 19 across the 6 of their papers we have counts for

collaborators

6 papers

cs.CR2026

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…

cs.CR2026

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…

cs.CR2025

"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…

cs.AR2025★ 1 cited

"Test, Build, Deploy" -- A CI/CD Framework for Open-Source Hardware Designs

Calvin Deutschbein, Aristotle Stassinopoulos

Addressing TedX, Amber Huffman made an impassioned case that "none of us is as smart as all of us" and that open-source hardware is the future. A major contribution to software qua…

cs.CR2021

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…

cs.CR2021★ 18 cited

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…