@InProceedings{majumdar06manufacturing,
  author =	 {Anirban Majumdar and Clark Thomborson},
  title =	 {Manufacturing Opaque Predicates in Distributed Systems for Code Obfuscation},
  booktitle =	 {Twenty-Ninth Australasian Computer Science Conference},
  year =	 2006,
  volume = 48,
  pages = {187-196},
  address = {Hobart, TAS, Australia},
  publisher = {CRPIT, ACM Digital Library},
  editor = {V. Estivill-Castro and G. Dobbie},
  section = {OBFUSCATION,SSG},
  abstract = {Code obfuscation is a relatively new technique of software protection and it works by deterring reverse engineering attempts by malicious users of software.
The objective of obfuscation is to make the logic embedded in code incomprehensible to automated program analysis tools used by adversaries. Opaque
predicates act as tool for obfuscating control flow logic embedded within code. In this position paper, we address the problem of control-°ow code obfusca-
tion of processes executing in distributed computing environments by proposing a novel method of combining the open problems of distributed global state
detection with a well-known hard combinatorial problem to manufacture opaque predicates. We name this class of new opaque predicates as distributed opaque
predicates. We demonstrate our approach with an illustration and provide an extensive security analysis of code obfuscated with distributed opaque predi-
cates. We show that our class of opaque predicates is capable of withstanding most known forms of automated static analysis attacks and a restricted class
of dynamic analysis attack that could be mounted by adversaries.},
  cache = {majumdar06manufacturing.pdf},
}