SPECTECTOR: Principled Detection of Speculative Information Flows.

Marco Guarnieri Boris Köpf José F. Morales Jan Reineke Andrés Sánchez

Published in: CoRR (2018)

Keyphrases

information flows
information flow
detection algorithm
case study
detection method
artificial intelligence
decision making