Self-Verifying Execution (Position Paper) - Microsoft Research (2016).pdf 852 KB