156 citations · 297 across the 16 of their papers we have counts for
1 paper · 1 filter
Lesly-Ann Daniel, Marton Bognar, Job Noorman +3
We propose ProSpeCT, a generic formal processor model providing provably secure speculation for the constant-time policy. For constant-time programs under a non-speculative semanti…