Formal Methods

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

In this project, LBNL will help inform DHS S&T regarding the state of the art in software assurance tools and capabilities. It is funded by DHS S&T and is led by Sean Peisert.

Election Process Modeling and Analysis

This project looked at defining means for understanding what data can be sanitized, and how. At LBNL, this project was led by Sean Peisert and was funded by the Institute for Information Infrastructure Protection (I3P).