Opaque Predicates Detection by Abstract Interpretation

DOI10.1007/11784180_9zbMath1236.68046OpenAlexW1534474245MaRDI QIDQ3623927

Koen De Bosschere, Matias Madou, Mila Dalla Preda, 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)

Related Items (3)

Context-sensitive analysis without calling-context ⋮ Using algebraic models of programs for detecting metamorphic malwares ⋮ Deriving Bisimulations by Simplifying Partitions

Uses Software

• Octagon

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