Security Dependability Group
Security Dependability Group
People
Projects
Publications
Anh Nguyen-Tuong
Principal Scientist
Computer Science, University of Virginia
Interests
Fuzzing
Automated Critical Systems
Latest
Breaking Through Binaries: Compiler-quality Instrumentation for Better Binary-only Fuzzing
Same Coverage, Less Bloat: Accelerating Binary-Only Fuzzing with Coverage-Preserving Coverage-Guided Tracing
Cubismo: Decloaking Server-side Malware via Cubist Program Analysis
MalMax: Multi-Aspect Execution for Automated Dynamic Web Server Malware Analysis
Xandra: An autonomous cyber battle system for the Cyber Grand Challenge
Securing Binary Code
Zipr: Efficient static binary rewriting for security
Diversity in Cybersecurity
Double Helix and RAVEN: A system for cyber fault tolerance and recovery
Cite
×