Automatic and Incremental Repair for Speculative Information Leaks

Joachim Bard, Swen Jacobs, Yakir Vizel

We present CureSpec, the first model-checking based framework for automatic repair of programs with respect to information leaks in the presence of side-channels and speculative ex…