Automatic Detection of Speculative Execution Combinations

Published in CCS'22, 2022