15
Publications
1.9K
Citations
15
H-Index
2004
Active since
Affiliations
Arvind Seshadri is an author at Carnegie Mellon University specializing in engineering, computer science, and data security.
Top concepts
EngineeringData SecurityComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationCryptographySystem SoftwareComputer EngineeringInformation Security
Publications per year
2004–2010
15
15
Arvind Seshadri, Mark Luk, Ning Qu et al. · 2007 · 631 citations
Arvind Seshadri, Mark Luk, Elaine Shi et al. · ACM SIGOPS Operating Systems Review · 2005 · 321 citations
Arvind Seshadri, Mark Luk, Adrian Perrig et al. · 2006 · 243 citations
Arvind Seshadri, Mark Luk, Elaine Shi et al. · 2005 · 222 citations
Arvind Seshadri, Mark Luk, Ning Qu et al. · ACM SIGOPS Operating Systems Review · 2007 · 82 citations
Rows per page
1–5 of 15