Specifying Imperative Data Obfuscations

DOI10.1007/978-3-540-75496-1_20zbMath1138.68406OpenAlexW1512870920MaRDI QIDQ3507882

Anirban Majumdar, Clark D. Thomborson, Stephen Drape

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

RefinementSpecificationCorrectnessData Obfuscation

Mathematics Subject Classification ID

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

Related Items (5)

Abstract Program Slicing ⋮ Formal framework for reasoning about the precision of dynamic analysis ⋮ Maximal incompleteness as obfuscation potency ⋮ Creating Transformations for Matrix Obfuscation ⋮ Slicing unconditional jumps with unnecessary control dependencies

This page was built for publication: Specifying Imperative Data Obfuscations