Probabilistic Functions and Cryptographic Oracles in Higher Order Logic
Abstract elided by the publisher.
Related papers
- Higher-order probabilistic adversarial computations: categorical semantics and program logics ICFP 2021
- Probabilistic relational verification for cryptographic implementations POPL 2014
- Higher order functions and Brouwer's thesis JFP 2021
- Contextual Refinement of Higher-Order Concurrent Probabilistic Programs PLDI 2026
- Approximate Relational Reasoning for Higher-Order Probabilistic Programs POPL 2025
- Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization POPL 2019
- On coinductive equivalences for higher-order probabilistic functional programs POPL 2014
- Proof-producing translation of higher-order logic into pure and stateful ML JFP 2014