@inproceedings{cauligi:2017:fact,
  author    = {Sunjay Cauligi and Gary Soeller and Fraser Brown and Brian Johannesmeyer and Yunlu Huang and Ranjit Jhala and Deian Stefan},
  title     = {{FaCT}: A Flexible, Constant-Time Programming Language},
  booktitle = {Secure Development Conference (SecDev)},
  publisher = {IEEE},
  month     = {September},
  year      = {2017},
}