Anh Nguyen‐Tuong is an author at University of Virginia specializing in computer science, engineering, and program analysis.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware AnalysisComputer EngineeringData SecuritySoftware SecurityInformation SecuritySystem SoftwareFormal Verification
Publications per year
1995–2021
23
23
Jason D. Hiser, Anh Nguyen‐Tuong, Michele Co et al. · 2012 · 254 citations
Security through redundant data diversity
Anh Nguyen‐Tuong, David Evans, John Knight et al. · 2008 · 79 citations
Engineering, Information Security, Data-centric Security +22
Rows per page
1–5 of 23