Nicholas Mosier
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Axiomatic hardware-software contracts for security
Nicholas Mosier and others (2022) · Proceedings of the 49th Annual International Symposium on Computer Architecture (ISCA 2022)