@inproceedings{vassena:2021:blade,
  author    = {Marco Vassena and Craig Disselkoen and Klaus v. Gleissenthall and Sunjay Cauligi and Rami G\"{o}khan K\i{c}\i and Ranjit Jhala and Dean Tullsen and Deian Stefan},
  title     = {Automatically Eliminating Speculative Leaks from Cryptographic Code with {B}lade},
  booktitle = {ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)},
  month     = {January},
  year      = {2021},
  publisher = {ACM}
}