SpecVerilog: Adapting Information Flow Control for Secure Speculation.

Drew Zagieboylo, Charles Sherk, Andrew C. Myers, G. Edward Suh

Browse the full CCS paper archive.