This is an ongoing project at MIT about protecting constant-time programs against transient attacks that leak secrets. It is advised by Prof. Mengjia Yan & Prof. Adam Chlipala, and conducted by me and several great Ph.D. students.