Constant-time foundations for the new spectre era.

Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Dean M. Tullsen, Deian Stefan, Tamara Rezk, Gilles Barthe

Browse the full PLDI paper archive.