Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2005.00294
Cited By
Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade
1 May 2020
Marco Vassena
Craig Disselkoen
K. V. Gleissenthall
Sunjay Cauligi
Rami Gökhan Kici
Ranjit Jhala
Dean Tullsen
D. Stefan
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade"
1 / 1 papers shown
Title
Hardware-Software Contracts for Secure Speculation
Marco Guarnieri
Boris Köpf
Jan Reineke
Pepe Vila
11
89
0
06 Jun 2020
1