Navigation
Research
Assistant Professor David Wagner
Email:
Home Page:
Institutions:
Projects:
- Cryptography: Examining the Assumptions
- Network Embedded Software Technology
- Static Analysis and Model Checking of Open-Source Code for Detecting Security Vulnerabilities
- TinyOS - A Component based operating system for networked sensors*
- Cyber Defense Technology Experimental Research Network
- Language Based Software Security
- Collaborative Research: Type Qualifiers for Software Security
- Team for Research in Ubiquitous Secure Technology
Presentations: