Property-driven code obfuscations reinterpreting Jones-optimality in abstract interpretation

DOI10.1007/978-3-031-22308-2_12zbMath1524.68087MaRDI QIDQ6164429

Roberto Giacobazzi, Isabella Mastroeni

Publication date: 28 July 2023

Published in: Static Analysis (Search for Journal in Brave)

zbMATH Keywords

abstract interpretationcode obfuscationprogram interpretationJones-optimality

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Unnamed Item
• Maximal incompleteness as obfuscation potency
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• Transformation by interpreter specialisation
• A tour of tempo: a program specializer for the C language
• Local reasoning about the presence of bugs: incorrectness separation logic
• Analyzing Program Analyses
• Symbolic finite state transducers
• A White-Box DES Implementation for DRM Applications
• Systematic design of program transformation frameworks by abstract interpretation
• Making abstract interpretations complete
• On the (im)possibility of obfuscating programs
• Minimization of symbolic automata
• Compiler Design
• Program analysis is harder than verification: a computability perspective