Forschungsgruppe
Proc. ACM Program. Lang. Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs
Proc. ACM Program. Lang. Approximate Relational Reasoning for Higher-Order Probabilistic Programs
ACM Conference on Computer and Communications Security (CCS)
Logical Relations for Formally Verified Authenticated Data Structures
Proc. ACM Program. Lang. Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
Proc. ACM Program. Lang. Tachis: Higher-Order Separation Logic with Credits for Expected Costs