Nicholas Mosier

According to our database, Nicholas Mosier authored at least 4 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Serberus: Protecting Cryptographic Code from Spectres at Compile-Time.

Nicholas Mosier, Hamed Nemati, John C. Mitchell, Caroline Trippel

CoRR, 2023

2022

Software defined grid energy storage.

Sonia Martin, Nicholas Mosier, Obi Nnorom, Yancheng Ou, Liana Patel, Oskar Triebe, Gustavo Cezar, Philip Levis, Ram Rajagopal

Proceedings of the 9th ACM International Conference on Systems for Energy-Efficient Buildings, 2022

Axiomatic hardware-software contracts for security.

Nicholas Mosier, Hanna Lachnitt, Hamed Nemati, Caroline Trippel

Proceedings of the ISCA '22: The 49th Annual International Symposium on Computer Architecture, New York, New York, USA, June 18, 2022

2021

Relational Models of Microarchitectures for Formal Security Analyses.

Nicholas Mosier, Hanna Lachnitt, Hamed Nemati, Caroline Trippel

CoRR, 2021