FaCT: Flexible, Constant-Time, Programming Language [pdf]cseweb.ucsd.edu1 pointnickpsecurity9 years ago