Code Obfuscation Against Abstract Model Checking Attacks
No abstract available.
Related papers
- Proof-of-Theft: Dynamic Graph-Based Fingerprinting of In-Browser Cryptomining ECOOP 2026
- Manufacturing Cheap, Resilient, and Stealthy Opaque Constructs POPL 1998
- Discrete Adversarial Attack to Models of Code PLDI 2023
- SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks CAV 2018
- Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation SAS 2022
- Checking and Enforcing Robustness against TSO ESOP 2013
- Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation SAS 2012
- Formally Verified Hardening of C Programs against Hardware Fault Injection CPP 2025