Software Engineering Institute

In this project, we focused on automated and sound vulnerability discovery and prioritization in both traditional and non-traditional (i.e., mobile) computing platforms and on vulnerability discovery and correlation in emerging networked technologies.