@misc{indiciaeee184ee21039,
  title = {SPECTECTOR: Principled Detection of Speculative Information Flows},
  author = {Marco Guarnieri and Boris Köpf and José F. Morales and Jan Reineke and Andrés Sánchez},
  year = {2019},
  url = {https://arxiv.org/abs/1812.08639},
  note = {Source identifier: 1812.08639}
}