Stephen Drape, Clark Thomborson, Anirban Majumdar
Abstract. An obfuscation aims to transform a program, without affecting the functionality, so that some secret information within the program can be hidden for as long as possible from an adversary....
Stephen Drape, Oege De Moor, Ganesh Sittampalam, Ox Qd
United Kingdom Path logic programming is a modest extension of Prolog for the specification of program transformations. We give an informal introduction to this extension, and we show how it can be...
Design and Evaluation of Slicing Obfuscations (2007)
Anirban Majumdar, Stephen Drape, Clark Thomborson
An obfuscation aims to transform a program, without affecting its functionality, so that some secret data within the program can be hidden for as long as possible from an adversary armed with reverse...
Slicing aided design of obfuscating transforms (2007)
Stephen Drape, Anirban Majumdar, Clark Thomborson
Abstract—An obfuscation aims to transform a program, without affecting its functionality, so that some secret information within the program can be hidden for as long as possible from an adversary...
An obfuscation aims to transform a program, without affecting the functionality, so that some secret information within the program can be hidden for as long as possible from an adversary. Proving...
Theoretical Computer Science Design and Evaluation of Slicing (2007)
Stephen Drape, Anirban Majumdar, Stephen Drape, Anirban Majumdar
The goal of obfuscation is to transform a program, without affecting its functionality, so that some secret information within the program can be hidden for as long as possible from an adversary...
Obfuscation of Abstract Data Types (2004)
An obfuscation is a behaviour-preserving program transformation whose aim is to make a program “harder to understand”. Obfuscations are applied to make reverse engineering of a program more...
Oege De Moor, Stephen Drape, David Lacey, Ganesh Sittampalam
We aim to specify program transformations in a declarative style, and then to generate ecient program transformers from such specications. Many transformations require nontrivial program analysis to...
Thesis (M.Sc.) - Oxford University, 2001.