@TechReport{winwood_chakravarty_2005_secure:tr,
  author =       {Simon Winwood and Manuel Chakravarty},
  title =        {Secure Untrusted Binaries --- Provably!},
  institution =  "School Comp. Sci. \& Engin.",
  year =         2005,
  address =      "University NSW, Sydney 2052, Australia",
  month =        may,
  number =       {UNSW-CSE-TR-0511},
}