Our paper, titled “Secure Information Flow Verification with Mutable Dependent Types“, is accepted for publication at this year’s Design Automation Conference (DAC). The paper is authored by Andrew Ferraiuolo, Weizhe Hua, Andrew Myers, and G. Edward Suh, and proposes a new mutable dependent type to handle dynamic changes in security levels in hardware designs.
A paper on secure HDL type system gets accepted to DAC’17