Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation
No abstract available.
Related papers
- Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation SAS 2012
- Property Checking Driven Abstract Interpretation-Based Static Analysis VMCAI 2003
- Using Transformations in the Implementations of Higher-Order Functions JFP 1991
- The Costs and Benefits of Abstract Interpretation-driven Prolog Optimization SAS 1994
- Abstract extensionality: on the properties of incomplete abstract interpretations POPL 2020
- A semantics-based approach to malware detection POPL 2007
- A semantics-based approach to malware detection TOPLAS 2008
- Code Obfuscation Against Abstract Model Checking Attacks VMCAI 2018