Andrew Ferraiuolo, Weizhe Hua, Andrew C. Myers, G. Edward Suh. Secure Information Flow Verification with Mutable Dependent Types. In Proceedings of the 54th Annual Design Automation Conference, DAC 2017, Austin, TX, USA, June 18-22, 2017. ACM, 2017. [doi]
Abstract is missing.