Mechanized logical relations for termination-insensitive noninterference

Simon Oddershede Gregersen, Johan Bay, Amin Timany, Lars Birkedal. Mechanized logical relations for termination-insensitive noninterference. Proceedings of the ACM on Programming Languages, 5(POPL):1-29, 2021. [doi]

Abstract

Abstract is missing.