Constant-time foundations for the new spectre era
Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Dean M. Tullsen, Deian Stefan, Tamara Rezk, Gilles Barthe[doi] [Google Scholar] [DBLP] [Citeseer] [url]
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020
ACM
Pages 913-926
2020
Note(s): side-channel, cryptography, speculative execution, leakage contracts
ACM
Pages 913-926
2020
Note(s): side-channel, cryptography, speculative execution, leakage contracts