Specifying Imperative Data Obfuscations

DOI10.1007/978-3-540-75496-1_20MaRDI QIDQ3507882zbMATH OpenOpenAlexFDO

Authors Stephen Drape, Clark D. Thomborson, Anirban Majumdar

Publication date 24 June 2008

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

Full work available at URL https://doi.org/10.1007/978-3-540-75496-1_20

zbMATH Keywords

CorrectnessData ObfuscationRefinementSpecification

Mathematics Subject Classification ID

Theory of software (68N99) Data encryption (aspects in computer science) (68P25)

Recommendations

• Generalising the array split obfuscation
• On the possibility of provably secure obfuscating programs
• On the Concept of Software Obfuscation in Computer Security
• Advances in Cryptology - EUROCRYPT 2004
• A formal framework for property-driven obfuscation strategies

Cited in

(7)

• Slicing unconditional jumps with unnecessary control dependencies
• Formal framework for reasoning about the precision of dynamic analysis
• A formal framework for property-driven obfuscation strategies
• Creating Transformations for Matrix Obfuscation
• Maximal incompleteness as obfuscation potency
• Abstract program slicing: an abstract interpretation-based approach to program slicing
• Generalising the array split obfuscation

This page was built for publication: Specifying Imperative Data Obfuscations

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