Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation
Abstract elided by the publisher.
Related papers
- Abstract extensionality: on the properties of incomplete abstract interpretations POPL 2020
- Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation SAS 2022
- Manufacturing Cheap, Resilient, and Stealthy Opaque Constructs POPL 1998
- Types, potency, and idempotency: why nonlinearity and amnesia make a type system work ICFP 2004
- Temporal Abstract Interpretation POPL 2000
- Code Obfuscation Against Abstract Model Checking Attacks VMCAI 2018
- A Formal Framework to Measure the Incompleteness of Abstract Interpretations SAS 2023
- A semantics-based approach to malware detection TOPLAS 2008