Automatically eliminating speculative leaks from cryptographic code with blade

Marco Vassena, Craig Disselkoen, Klaus von Gleissenthall, Sunjay Cauligi, Rami Gökhan Kici, Ranjit Jhala, Dean M. Tullsen, Deian Stefan. Automatically eliminating speculative leaks from cryptographic code with blade. Proceedings of the ACM on Programming Languages, 5(POPL):1-30, 2021. [doi]

Abstract

Abstract is missing.