Code obfuscation against abstraction refinement attacks.
Roberto BruniRoberto GiacobazziRoberta GoriPublished in: Formal Aspects Comput. (2018)
Keyphrases
- static analysis
- malicious code
- reverse engineering
- java card
- high level
- high level abstractions
- dynamic analysis
- source code
- anti virus
- control flow
- countermeasures
- malware detection
- decision theoretic planning
- refinement process
- traffic analysis
- malicious attacks
- code generation
- reverse engineer
- data abstraction
- malicious users
- operating system
- sql injection
- neural network
- chosen plaintext
- unauthorized access
- security risks
- security protocols
- watermarking scheme
- signal processing
- information systems