Opaque Predicates Detection by Abstract Interpretation

DOI10.1007/11784180_9zbMATH Open1236.68046OpenAlexW1534474245MaRDI QIDQ3623927FDOQ3623927

Authors: Mila Dalla Preda, Matias Madou, Koen De Bosschere, Roberto Giacobazzi 

Publication date: 28 April 2009

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1854/LU-374672

Recommendations

• Automata, Languages and Programming
• Semantics-based software watermarking by abstract interpretation
• Code obfuscation against abstraction refinement attacks
• Code obfuscation against abstract model checking attacks
• An abstract interpretation-based framework for software watermarking

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (5)

• Deriving Bisimulations by Simplifying Partitions
• Using algebraic models of programs for detecting metamorphic malwares
• Code obfuscation against abstraction refinement attacks
• Code obfuscation against abstract model checking attacks
• Context-sensitive analysis without calling-context

Uses Software

• Octagon

This page was built for publication: Opaque Predicates Detection by Abstract Interpretation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3623927)