18 citations · 19 across the 6 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
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…