GhostBuster: understanding and overcoming the pitfalls of transient execution vulnerability checkers. - Andrea Mambretti; Pasquale Convertini; Alessandro Sorniotti; Alexandra Sandulescu; Engin Kirda; Anil Kurmus (SANER, 2021)