Code obfuscation against abstract model checking attacks

DOI10.1007/978-3-319-73721-8_5MaRDI QIDQ3296324zbMATH OpenOpenAlexFDO

Authors Roberto Bruni, Roberto Giacobazzi, Roberta Gori

Publication date 7 July 2020

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

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 abstraction refinement attacks
• Automata, Languages and Programming
• Maximal incompleteness as obfuscation potency
• On the Concept of Software Obfuscation in Computer Security
• Opaque Predicates Detection by Abstract Interpretation

Cited in

(9)

• Code obfuscation against abstraction refinement attacks
• Formal framework for reasoning about the precision of dynamic analysis
• Secure cloud model for intellectual privacy protection of arithmetic expressions in source codes using data obfuscation techniques
• Code protection scheme based on obfuscating transformations in distributed systems
• Opaque Predicates Detection by Abstract Interpretation
• Maximal incompleteness as obfuscation potency
• A categorical treatment of malicious behavioral obfuscation
• Automata, Languages and Programming
• A correctness and incorrectness program logic

This page was built for publication: Code obfuscation against abstract model checking attacks

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