1 citations · 1 across the 3 of their papers we have counts for
3 papers
CryptoBap: A Binary Analysis Platform for Cryptographic Protocols
Faezeh Nasrabadi, Robert Künnemann, Hamed Nemati
We introduce CryptoBap, a platform to verify weak secrecy and authentication for the (ARMv8 and RISC-V) machine code of cryptographic protocols. We achieve this by first transpilin…
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…
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…