FaCT: A Flexible, Constant-Time Programming Language | IEEE Conference Publication | IEEE Xplore