Code obfuscation against abstraction refinement attacks

DOI10.1007/s00165-018-0462-6zbMath1425.68065OpenAlexW2884613112WikidataQ129474173 ScholiaQ129474173MaRDI QIDQ1624593

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

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

Cites Work

• Code Obfuscation Against Abstract Model Checking Attacks
• Generalized Strong Preservation by Abstract Interpretation
• An abstract interpretation-based framework for software watermarking
• Counterexample-guided abstraction refinement for symbolic model checking
• Making abstract interpretations complete
• On the (im)possibility of obfuscating programs
• Classes of Recursively Enumerable Sets and Their Decision Problems
• Unnamed Item
• Unnamed Item
• Unnamed Item

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