Matt McCutchen, Daniel Song, Shuo Chen, Shaz Qadeer: Self-Verifying Execution (Position Paper). SecDev 2016: 117-123