Proc. ACM Program. Lang. Mechanized Logical Relations for Termination-Insensitive Noninterference
European Symposium on Programming (ESOP)
Aneris: A Mechanized Logic for Modular Reasoning about Distributed Systems
Principles of Security and Trust (POST)
A Dependently Typed Library for Static Information-Flow Control in Idris