Output-sensitive Information flow analysis

Cristian Ene, Laurent Mounier, Marie-Laure Potet. Output-sensitive Information flow analysis. Logical Methods in Computer Science, 17(1), 2021. [doi]

Abstract

Abstract is missing.