[attheodo]

Being one of the really classics, this papers is now too old and the techniques almost obsolete (non-executable stacks etc)