TY  - RPRT
TI  - Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade
AU  - Marco Vassena
AU  - Craig Disselkoen
AU  - Klaus V. Gleissenthall
AU  - Sunjay Cauligi
AU  - Rami Gökhan Kici
AU  - Ranjit Jhala
AU  - Dean Tullsen
AU  - Deian Stefan
PY  - 2020
DO  - 10.1145/3434330
UR  - https://arxiv.org/abs/2005.00294
ID  - 2005.00294
ER  -