Isadora: Automated Information Flow Property Generation for Hardware Designs.

Calvin Deutschbein, Andres Meza, Francesco Restuccia, Ryan Kastner, Cynthia Sturton

Browse the full CCS paper archive.