GhostBuster: Understanding and overcoming the pitfalls of transient execution vulnerability checkersAndrea MambrettiPasquale Convertiniet al.2021SANER 2021