Axiomatic hardware-software contracts for security.

Nicholas Mosier, Hanna Lachnitt, Hamed Nemati, Caroline Trippel

Browse the full ISCA paper archive.