Directions in ISA Specification
RockSalt: better, faster, stronger SFI for the x86