Nicholas Mosier | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Caroline Trippel
13 publications
Hamed Nemati
8 publications
John C. Mitchell
4 publications
Hanna Lachnitt
3 publications

research

∙ 09/11/2023

Serberus: Protecting Cryptographic Code from Spectres at Compile-Time

We present Serberus, the first comprehensive mitigation for hardening co...

0 Nicholas Mosier, et al. ∙

research

∙ 12/20/2021

Relational Models of Microarchitectures for Formal Security Analyses

There is a growing need for hardware-software contracts which precisely ...

0 Nicholas Mosier, et al. ∙