Code obfuscation against abstraction refinement attacks

DOI10.1007/S00165-018-0462-6MaRDI QIDQ1624593zbMATH OpenOpenAlexWikidataFDO

Authors Roberto Bruni, Roberto Giacobazzi, Roberta Gori

Publication date 16 November 2018

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/11568/938210

zbMATH Keywords

verificationmodel checkingrefinementcode obfuscation

Mathematics Subject Classification ID

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

Recommendations

• Code obfuscation against abstract model checking attacks
• Automata, Languages and Programming
• Maximal incompleteness as obfuscation potency
• Opaque Predicates Detection by Abstract Interpretation
• On the Concept of Software Obfuscation in Computer Security

Cites work

• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 1834576 (Why is no real title available?)
• scientific article; zbMATH DE number 1893217 (Why is no real title available?)
• An abstract interpretation-based framework for software watermarking
• Classes of Recursively Enumerable Sets and Their Decision Problems
• Code obfuscation against abstract model checking attacks
• Counterexample-guided abstraction refinement for symbolic model checking
• Generalized Strong Preservation by Abstract Interpretation
• Making abstract interpretations complete
• On the (im)possibility of obfuscating programs

Cited in

(10)

• Formal framework for reasoning about the precision of dynamic analysis
• Incremental program obfuscation
• Code obfuscation against abstract model checking attacks
• Automata, Languages and Programming
• scientific article; zbMATH DE number 5652055 (Why is no real title available?)
• Deobfuscation of virtualization-obfuscated code through symbolic execution and compilation optimization
• Code protection scheme based on obfuscating transformations in distributed systems
• A novel obfuscation: class hierarchy flattening
• Maximal incompleteness as obfuscation potency
• Opaque Predicates Detection by Abstract Interpretation

This page was built for publication: Code obfuscation against abstraction refinement attacks

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