Analysing Approximate Confinement under Uniform Attacks
No abstract available.
Related papers
- Saving the world from bad beans: deployment-time confinement checking OOPSLA 2003
- ANOSY: approximated knowledge synthesis with refinement types for declassification PLDI 2022
- Limits and Difficulties in the Design of Under-Approximation Abstract Domains TOPLAS 2024
- First-Class Constrained Types: Elaboration, Type Inference, Approximation, and a Characterization of Termination ICFP 2026
- Constructing Specialized Shape Analyses for Uniform Change VMCAI 2007
- Fast Approximations of Quantifier Elimination CAV 2023
- Effective Soundness-Guided Reflection Analysis SAS 2015
- Checking and inferring local non-aliasing PLDI 2003