Name: Dang Tu Nguyen
Type: User
Company: University of California, Riverside
Bio: I'm interested in network protocols and security, distributed systems, formal verification, program analysis, and machine learning.
Location: Riverside, CA, US
Blog: https://www.linkedin.com/in/dang-tu-nguyen-5358b19a/
Dang Tu Nguyen's Projects
IotSan: Fortifying the Safety of IoT Systems (ACM CoNEXT'18)
Adding passes to LLVM compiler
Adaptive summarization of evidence to support cost-effective intrusion detection at scale
Master of Science's Thesis in Computer Science at UC Riverside
Implementation of space-saving three DNA sequences alignment
Gain root privilege by exploiting CVE-2014-3153 vulnerability