A General Noninterference Policy for Polynomial Time

Emmanuel Hainry, Romain Péchoux. A General Noninterference Policy for Polynomial Time. Proceedings of the ACM on Programming Languages, 7(POPL):806-832, January 2023. [doi]

Abstract

Abstract is missing.