SpecCheck: A Tool for Systematic Identification of Vulnerable Transient Execution in gem5. - Zack McKevitt; Ashutosh Trivedi 001; Tamara Silbergleit Lehman (PACT, 2023)

Baobab Merkle Tree for Efficient Secure Memory. - Samuel Thomas; Kidus Workneh; Ange-Thierry Ishimwe; Zack McKevitt; Phaedra S. Curlin; R. Iris Bahar; Joseph Izraelevitz; Tamara Lehman (IEEE Comput. Archit. Lett., 2024)