Security Verification of Low-Trust Architectures.

Qinhan Tan, Yonathan Fisseha, Shibo Chen, Lauren Biernacki, Jean-Baptiste Jeannin, Sharad Malik, Todd M. Austin

Browse the full CCS paper archive.