Abstract Interpretation-Based Protection
Abstract elided by the publisher.
Related papers
- Clustered Relational Thread-Modular Abstract Interpretation with Local Traces ESOP 2023
- An abstract interpretation-based framework for software watermarking POPL 2004
- The Octahedron Abstract Domain SAS 2004
- Secure Compilation to Protected Module Architectures TOPLAS 2015
- Automated Parameterized Verification of a Railway Protection System with Dafny CAV 2025
- A bisimulation for dynamic sealing POPL 2004
- Automatically eliminating speculative leaks from cryptographic code with blade POPL 2021
- Flexible Alias Protection ECOOP 1998