Nicholas Mosier

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 4

Top Topics

Relational Models

Top Venues

BuildSys@SenSys

Publications

Nicholas Mosier, Hamed Nemati, John C. Mitchell, Caroline Trippel
Serberus: Protecting Cryptographic Code from Spectres at Compile-Time. CoRR (2023)
Nicholas Mosier, Hanna Lachnitt, Hamed Nemati, Caroline Trippel
Axiomatic hardware-software contracts for security. ISCA (2022)
Sonia Martin, Nicholas Mosier, Obi Nnorom, Yancheng Ou, Liana Patel, Oskar Triebe, Gustavo Cezar, Philip Levis, Ram Rajagopal
Software defined grid energy storage. BuildSys@SenSys (2022)
Nicholas Mosier, Hanna Lachnitt, Hamed Nemati, Caroline Trippel
Relational Models of Microarchitectures for Formal Security Analyses. CoRR (2021)