Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade

We introduce Blade, a new approach to automatically and efficiently eliminate speculative leaks from cryptographic code. Blade is built on the insight that to stop leaks via speculative execution, ...