AOSCSWAP: Study of Academic, Open Source, and COTS Software Assurance Products

Project Summary

In this project, LBNL will help inform DHS S&T regarding the state of the art in software assurance tools and capabilities.

This project is supported by the the U.S. Department of Homeland Security’s Science and Technology Directorate.

Principal Investigator:

Sean Peisert (PI; LBNL)

Publications resulting from this project:

Sean Peisert, “The Current State of Software Assurance Tools and Techniques,” LBNL Technical Report, October 24, 2022.

More information is available on other Berkeley Lab research cybersecurity projects.

Formal Methods Software Assurance