Property-driven code obfuscations reinterpreting Jones-optimality in abstract interpretation
From MaRDI portal
Publication:6164429
DOI10.1007/978-3-031-22308-2_12zbMATH Open1524.68087MaRDI QIDQ6164429FDOQ6164429
Authors: Roberto Giacobazzi, Isabella Mastroeni 
Publication date: 28 July 2023
Published in: Static Analysis (Search for Journal in Brave)
Recommendations
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)
Cites Work
- Symbolic finite state transducers: algorithms and applications
- Title not available (Why is that?)
- Title not available (Why is that?)
- Systematic design of program transformation frameworks by abstract interpretation
- Transformation by interpreter specialisation
- Making abstract interpretations complete
- Minimization of symbolic automata
- On the (im)possibility of obfuscating programs
- Analyzing program analyses
- Maximal incompleteness as obfuscation potency
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
- A white-box DES implementation for DRM applications
- A tour of tempo: a program specializer for the C language
- Compiler design. Analysis and transformation.
- Local reasoning about the presence of bugs: incorrectness separation logic
- Program analysis is harder than verification: a computability perspective
Cited In (1)
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)
