Teapot: Efficiently Uncovering Spectre Gadgets in COTS Binaries

Fangzheng Lin, Zhongfa Wang, Hiroshi Sasaki. Teapot: Efficiently Uncovering Spectre Gadgets in COTS Binaries. In Johannes Doerfert, Tobias Grosser, Hugh Leather, P. Sadayappan, editors, Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization, CGO 2025, Las Vegas, NV, USA, March 1-5, 2025. pages 553-569, ACM, 2025. [doi]

@inproceedings{LinWS25,
  title = {Teapot: Efficiently Uncovering Spectre Gadgets in COTS Binaries},
  author = {Fangzheng Lin and Zhongfa Wang and Hiroshi Sasaki},
  year = {2025},
  doi = {10.1145/3696443.3708936},
  url = {https://doi.org/10.1145/3696443.3708936},
  researchr = {https://researchr.org/publication/LinWS25},
  cites = {0},
  citedby = {0},
  pages = {553-569},
  booktitle = {Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization, CGO 2025, Las Vegas, NV, USA, March 1-5, 2025},
  editor = {Johannes Doerfert and Tobias Grosser and Hugh Leather and P. Sadayappan},
  publisher = {ACM},
  isbn = {979-8-4007-1275-3},
}