2008 Research Summary

Software Security Project

View Current Project Information

David Wagner

We are studying how to secure software against malicious attack. In particular, we are investigating tools for identifying and eliminating security vulnerabilities in legacy systems, techniques to prove the absence of such vulnerabilities, and ways to help programmers avoid security holes when developing new software.