Adversarial Logic
No abstract available.
Related papers
- Higher-order probabilistic adversarial computations: categorical semantics and program logics ICFP 2021
- A Program Logic for Concurrent Randomized Programs in the Oblivious Adversary Model ESOP 2025
- Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs OOPSLA 2024
- An Assertion-Based Program Logic for Probabilistic Programs ESOP 2018
- Interpretable noninterference measurement and its application to processor designs OOPSLA 2021
- A Reduction Theorem for Randomized Distributed Algorithms Under Weak Adversaries VMCAI 2021
- Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries ESOP 2005
- CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks SAS 2022