FaCT: A Flexible, Constant-Time Programming Language. - Sunjay Cauligi; Gary Soeller; Fraser Brown; Brian Johannesmeyer; Yunlu Huang; Ranjit Jhala; Deian Stefan (SecDev, 2017)