Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries
No abstract available.
Related papers
- Verification of Bit-Flip Attacks against Quantized Neural Networks OOPSLA 2025
- The PegaSys System: Pictures as Formal Documentation of Large Programs TOPLAS 1986
- Deciding not to Decide - Sound and Complete Effect Inference in the Presence of Higher-Rank Polymorphism ESOP 2026
- Efficient Neural Network Analysis with Sum-of-Infeasibilities TACAS 2022
- MrCrypt: static analysis for secure cloud computations OOPSLA 2013
- Resilient decentralized Android application repackaging detection using logic bombs CGO 2018
- Rich specifications for Ethereum smart contract verification OOPSLA 2021
- Sound and Modular Activity Analysis for Automatic Differentiation in MLIR OOPSLA 2025