most citedSerberus: Protecting Cryptographic Code from Spectres at Compile-Time

1 citations · 1 across the 2 of their papers we have counts for

collaborators

2 papers

cs.CR2023★ 1 cited

Serberus: Protecting Cryptographic Code from Spectres at Compile-Time

Nicholas Mosier, Hamed Nemati, John C. Mitchell +1

We present Serberus, the first comprehensive mitigation for hardening constant-time (CT) code against Spectre attacks (involving the PHT, BTB, RSB, STL and/or PSF speculation primi…

cs.CR2021

Relational Models of Microarchitectures for Formal Security Analyses

Nicholas Mosier, Hanna Lachnitt, Hamed Nemati +1

There is a growing need for hardware-software contracts which precisely define the implications of microarchitecture on software security-i.e., security contracts. It is our view t…