@inproceedings{mambretti2021ghostbuster,
  title={GhostBuster: understanding and overcoming the pitfalls of transient execution vulnerability checkers},
  author={Mambretti, Andrea and Convertini, Pasquale and Sorniotti, Alessandro and Sandulescu, Alexandra and Kirda, Engin and Kurmus, Anil},
  booktitle={2021 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)},
  pages={307--317},
  year={2021},
  organization={IEEE}
}