Technology and Tools Working Group

Collaborations

Research

Bond University

Centre for Software Assurance provides an environment for research, development, and consulting on issues related to software assurance.

Carnegie Mellon University: CYLAB

Targeted Software Assurance focuses on new techniques for software analysis of domain-specific properties, information flows, and concurrent executions, empirical studies, and applying these in industrial settings.

Deep Software Assurance: Requirements, Techniques, Field Experience involves developing new design-intent based analysis techniques focusing on security-relevant architectural analysis, component compatibility, and library and framework usage.

Carnegie Mellon University: CERT®Program in the Software Engineering Institute

Secure Coding identifies common programming errors that lead to software vulnerabilities, establishes standard secure coding standards, educates software developers, and advances the state of the practice in secure coding.

Vulnerability Discovery places knowledge, techniques, and tools in the hands of engineers to help them understand how vulnerabilities are created and discovered so that they can learn to avoid them.

Function Extraction (FX) is a new technology with potential to improve the economics of software development and increase the dependability of software systems.

Colorado State University

Software Assurance Laboratory (SAL)

Purdue University: Center for Education and Research in Information Assurance and Security (CERIAS)

Assurable Software and Architectures

To suggest research to add to this page, send an e-mail to software.assurance[at]dhs.gov.