On Computational Indistinguishability and Logical Relations
No abstract available.
Related papers
- Internalizing Indistinguishability with Dependent Types POPL 2024
- Recursive Logical Relations for Intuitionistic Linear Logic Session Types ESOP 2026
- Consistency of a Dependent Calculus of Indistinguishability POPL 2025
- Verifying Indistinguishability of Privacy-Preserving Protocols OOPSLA 2023
- Compositional Security Definitions for Higher-Order Where Declassification OOPSLA 2023
- Validation of Abstract Side-Channel Models for Computer Architectures CAV 2020
- Graded Hoare Logic and its Categorical Semantics ESOP 2021
- Model Checking Indistinguishability of Randomized Security Protocols CAV 2018