%0 Conference Paper %1 conf/IEEEpact/McKevittTL23 %A McKevitt, Zack %A Trivedi, Ashutosh %A Lehman, Tamara Silbergleit %B PACT %D 2023 %I IEEE %K dblp %P 265-278 %T SpecCheck: A Tool for Systematic Identification of Vulnerable Transient Execution in gem5. %U http://dblp.uni-trier.de/db/conf/IEEEpact/pact2023.html#McKevittTL23 %@ 979-8-3503-4254-3

@inproceedings{conf/IEEEpact/McKevittTL23, added-at = {2024-01-23T00:00:00.000+0100}, author = {McKevitt, Zack and Trivedi, Ashutosh and Lehman, Tamara Silbergleit}, biburl = {https://www.bibsonomy.org/bibtex/2cd29e3a0c289ec9415da9954ac151eee/dblp}, booktitle = {PACT}, crossref = {conf/IEEEpact/2023}, ee = {https://doi.org/10.1109/PACT58117.2023.00030}, interhash = {3e319f30f1c6f50e1bee177fb01d4ee8}, intrahash = {cd29e3a0c289ec9415da9954ac151eee}, isbn = {979-8-3503-4254-3}, keywords = {dblp}, pages = {265-278}, publisher = {IEEE}, timestamp = {2024-04-09T10:00:39.000+0200}, title = {SpecCheck: A Tool for Systematic Identification of Vulnerable Transient Execution in gem5.}, url = {http://dblp.uni-trier.de/db/conf/IEEEpact/pact2023.html#McKevittTL23}, year = 2023 }