GhostBuster: understanding and overcoming the pitfalls of transient execution vulnerability checkers | IEEE Conference Publication | IEEE Xplore