18 citations · 18 across the 2 of their papers we have counts for
2 papers
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…