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

DOI10.1007/978-3-031-22308-2_12MaRDI QIDQ6164429zbMATH OpenFDO

Authors Roberto Giacobazzi, Isabella Mastroeni

Publication date 28 July 2023

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-22308-2_12

zbMATH Keywords

abstract interpretationcode obfuscationJones-optimalityprogram interpretation

Mathematics Subject Classification ID

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

Recommendations

• Automata, Languages and Programming
• scientific article; zbMATH DE number 2080288
• Maximal incompleteness as obfuscation potency
• An investigation of Jones optimality and BTI-universal specializers
• On Jones-Optimal Specializers: A Case Study Using Unmix

Cites work

• A tour of tempo: a program specializer for the C language
• A white-box DES implementation for DRM applications
• Analyzing program analyses
• Compiler design. Analysis and transformation.
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• scientific article; zbMATH DE number 236855 (Why is no real title available?)
• Local reasoning about the presence of bugs: incorrectness separation logic
• Making abstract interpretations complete
• Maximal incompleteness as obfuscation potency
• Minimization of symbolic automata
• On the (im)possibility of obfuscating programs
• Program analysis is harder than verification: a computability perspective
• Symbolic finite state transducers: algorithms and applications
• Systematic design of program transformation frameworks by abstract interpretation
• Transformation by interpreter specialisation

Cited in

(1)

• Automata, Languages and Programming

This page was built for publication: Property-driven code obfuscations reinterpreting Jones-optimality in abstract interpretation

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