Formal Verifiation of Combined Spectre Attacks

Published in PLAS'21, 2021