Faculty
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