Generalising the array split obfuscation

Information Sciences

Volumn 177, Issue 1, 2007, Pages 202-219

  Drape, Stephen ^a  

^a UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

Abstract data types; Functional programming; Generalising; Obfuscation

Indexed keywords

ABSTRACT DATA-TYPES; FUNCTIONAL PROGRAMMING; GENERALISING; OBFUSCATION;

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING; DATA PROCESSING; OBJECT ORIENTED PROGRAMMING; REVERSE ENGINEERING;

LEARNING SYSTEMS;

EID: 33749664064     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2006.03.012     Document Type: Article

References (14)

1. Barak B., Goldreich O., Impagliazzo R., Rudich S., Sahai A., Vadhan S.P., and Yang K. On the (im)possibility of obfuscating programs. Proceedings of the 21st Annual International Cryptology Conference on Advances in Cryptology (2001), Springer-Verlag 1-18
2. Bird R. Introduction to Functional Programming in Haskell. International Series in Computer Science (1998), Prentice Hall
3. Christian Collberg, Clark Thomborson, Douglas Low, A taxonomy of obfuscating transformations, Technical Report 148, Department of Computer Science, University of Auckland, July 1997.
4. Cormen T.H., Leiserson C.E., Rivest R.L., and Stein C. Introduction to Algorithms. Second ed. (2001), The MIT Press
5. de Roever W.-P., and Engelhardt K. Data Refinement: Model-Oriented Proof Methods and their Comparison. Cambridge Tracts in Theoretical Computer Science (1998), Cambridge University Press
6. Stephen Drape, Obfuscation of Abstract Data-Types, D.Phil. thesis, Oxford University Computing Laboratory, 2004.
7. Stephen Drape, Using Haskell to Model Tree Obfuscations, Technical Report PRG-RR-04-17, Programming Research Group, Oxford University Computing Laboratory, July 2004.
8. Fowler M. Refactoring: Improving the Design of Existing Code (2000), Addison Wesley
9. Lacey D., Jones N.D., Van Wyk E., and Christian Frederiksen C. Proving correctness of compiler optimizations by temporal logic. Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2002), ACM Press 283-294
10. Li H., Reinke C., and Thompson S. Tool support for refactoring functional programs. Proceedings of the ACM SIGPLAN Workshop on Haskell (2003), ACM Press 27-38
11. Meijer Erik., Fokkinga M., and Paterson R. Functional programming with bananas, lenses, envelopes and barbed wire. In: Hughes J. (Ed). Proceedings of the 1991 ACM Conference on Functional Programming Languages and Computer Architecture. Lecture Notes in Computer Science 523 (1991), Springer Verlag 124-144
12. Peyton Jones S. The Haskell 98 language and libraries: the revised report. Journal of Functional Programming 13 1 (2003)
13. Spivey J.M. The Z notation: a reference manual. Second ed. (1992), Prentice Hall
14. Thompson S. Haskell: The Craft of Functional Programming. Second ed. International Computer Science Series (1999), Addison-Wesley, March