ConjunCT: Learning Inductive Invariants to Prove Unbounded Instruction Safety Against Microarchitectural Timing Attacks.

Sushant Dinesh, Madhusudan Parthasarathy, Christopher W. Fletcher

Browse the full SP paper archive.