Speculator: a tool to analyze speculative execution attacks and mitigations.

Andrea Mambretti, Matthias Neugschwandtner, Alessandro Sorniotti, Engin Kirda, William K. Robertson, Anil Kurmus

Browse the full ACSAC paper archive.