Nirav H. Dave
发表
Michael Pellauer,
Nirav H. Dave,
2005
.
B. Laurie,
S. Murdoch,
P. Neumann,
2017
.
Peter G. Neumann,
Michael Roe,
Ulrich Rührmair,
2015,
IEEE Symposium on Security and Privacy.
Arvind,
Michael Katelman,
Nirav Dave,
2008,
FM.
Nirav Dave,
Richard Uhler,
Nirav H. Dave,
2014,
OOPSLA 2014.
Peter G. Neumann,
Michael Roe,
Robert N. M. Watson,
2015,
2015 IEEE Symposium on Security and Privacy.
Peter G. Neumann,
Michael Roe,
Robert N. M. Watson,
2016,
IEEE Micro.
Peter G. Neumann,
Ross Anderson,
Michael Roe,
2012
.
Arvind,
Nirav Dave,
Michael Pellauer,
2007,
2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007).
Arvind,
Rishiyur S. Nikhil,
Nirav Dave,
2004,
IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004..
Nirav Dave,
Nirav H. Dave,
2004,
Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04..
Kermin Fleming,
Muralidaran Vijayaraghavan,
Nirav Dave,
2007,
2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007).
Andrew W. Moore,
Peter G. Neumann,
Brooks Davis,
2016
.
Nirav H. Dave,
Nirav H. Dave,
2011
.
Adam Chlipala,
Arvind,
Muralidaran Vijayaraghavan,
2015,
CAV.
Nirav Dave,
Nirav H. Dave,
2010
.