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 R&D cybersecurity projects.

Formal Methods Software Assurance