Nicholas Mosier

According to our database, Nicholas Mosier authored at least 5 papers between 2021 and 2025.

Collaborative distances:

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

2025

Analyzing and Exploiting Branch Mispredictions in Microcode.

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

CoRR, January, 2025

2024

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

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

Proceedings of the IEEE Symposium on Security and Privacy, 2024

2022

Software defined grid energy storage.

Sonia Martin, Nicholas Mosier, Obi Nnorom, Yancheng Ou, Liana Patel, Oskar Triebe, Gustavo Cezar, Philip Alexander 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