Opaque Predicates Detection by Abstract Interpretation

DOI10.1007/11784180_9MaRDI QIDQ3623927zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

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

Describes a project that uses

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)