Nicholas Mosier

All Publications

• Protean: A Programmable Spectre Defense Mosier, N., Nemati, H., Mitchell, J. C., Trippel, C., IEEE IEEE. 2026

  View details for DOI 10.1109/HPCA68181.2026.11408570

  View details for Web of Science ID 001761426300089

• Serberus: Protecting Cryptographic Code from Spectres at Compile-Time Mosier, N., Nemati, H., Mitchell, J. C., Trippel, C., IEEE COMPUTER SOC IEEE COMPUTER SOC. 2024: 4200-4219

  View details for DOI 10.1109/SP54263.2024.00048

  View details for Web of Science ID 001310833904017

• Axiomatic Hardware-Software Contracts for Security Mosier, N., Lachnitt, H., Nemati, H., Trippel, C., ACM ASSOC COMPUTING MACHINERY. 2022: 72-86

  View details for DOI 10.1145/3470496.3527412

  View details for Web of Science ID 000852702500006

• Software defined grid energy storage 9th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation Martin, S., Mosier, N., Nnorom, O., Ou, Y., Patel, L., Triebe, O., Cezar, G., Levis, P., Rajagopal, R. 2022: 10

  View details for DOI 10.1145/3563357.3564082