@inproceedings{dblp-conf-ieeepact-mckevitttl23,
  title = {SpecCheck: A Tool for Systematic Identification of Vulnerable Transient Execution in gem5},
  author = {Zack McKevitt and Ashutosh Trivedi and Tamara Silbergleit Lehman},
  year = {2023},
  url = {https://dblp.org/rec/conf/IEEEpact/McKevittTL23},
  booktitle = {PACT 2023}
}