@misc{indiciae30d7cc158450,
  title = {Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade},
  author = {Marco Vassena and Craig Disselkoen and Klaus V. Gleissenthall and Sunjay Cauligi and Rami Gökhan Kici and Ranjit Jhala and Dean Tullsen and Deian Stefan},
  year = {2020},
  doi = {10.1145/3434330},
  url = {https://arxiv.org/abs/2005.00294},
  note = {Source identifier: 2005.00294}
}