SpecCheck: A Tool for Systematic Identification of Vulnerable Transient Execution in gem5 | IEEE Conference Publication | IEEE Xplore