Nirav Dave
5 references 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.
Fast Protection-Domain Crossing in the CHERI Capability-System Architecture
Robert N. M. Watson and others (2016) · IEEE Micro · Institute of Electrical and Electronics Engineers
Modular Deductive Verification of Multiprocessor Hardware Designs
Muralidaran Vijayaraghavan and others (2015) · Lecture notes in computer science · Springer Science+Business Media
CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization
Robert N. M. Watson and others (2015) · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · IEEE Computer Society
Verification of microarchitectural refinements in rule-based systems
Nirav Dave and others (2011) · Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) · IEEE
Scheduling as Rule Composition
Nirav Dave and others (2007)