The Weird Machines in Proof-Carrying Code

Julien Vanegue. The Weird Machines in Proof-Carrying Code. In 35. IEEE Security and Privacy Workshops, SPW 2014, San Jose, CA, USA, May 17-18, 2014. pages 209-213, IEEE Computer Society, 2014. [doi]

Abstract

Abstract is missing.