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