Interpretable noninterference measurement and its application to processor designs

Ziqiao Zhou, Michael K. Reiter. Interpretable noninterference measurement and its application to processor designs. Proceedings of the ACM on Programming Languages, 5(OOPSLA):1-30, 2021. [doi]

Abstract

Abstract is missing.