Spectector: Principled Detection of Speculative Information Flows.

Marco Guarnieri, Boris Kpf, Jos F. Morales, Jan Reineke, Andrs Snchez

Browse the full SP paper archive.