ConjunCT: Learning Inductive Invariants to Prove Unbounded Instruction Safety Against Microarchitectural Timing Attacks. - Sushant Dinesh; Madhusudan Parthasarathy; Christopher W. Fletcher (SP, 2024)