The committee will convene in a closed session to continue refining the draft report.

The committee will continue to work on the draft of the report.

The committee will continue to work on the draft of the report.

The committee will continue to work on the draft of the report.

The committee will continue to work on the draft of the report.

The committee will meet in closed session to continue working on the draft of the report.

The committee will meet in closed session to work on the draft of the report.

The committee will meet in closed session to continue working on the draft of the report.

The committee met in closed session to continue working on the draft of the report.

To view the meeting via Vimeo, please click here. 2:00 pm - 2:45 pm - Byron Cook from Amazon will brief the committee on the DARPA Capstone Program.

The committee will continue to work on the draft of the report.

The committee will continue to work on the draft of the report.

The committee will continue to work on the draft of the report.

The committee will continue to work on the draft of the report.

The committee will continue to work on the draft of the report.

The committee will continue to work on the draft of the report.

The committee will continue to work on the draft of the report.

The committee will meet to continue working on the draft of the report. The meeting is closed in its entirety.

The committee will meet in closed session to continue working on the draft of the report.

The committee continues to work on the report draft.

To view the meeting via livestream, please click https://vimeo.com/event/4745102.. Agenda 3:00 pm - 4:30 pm — Rick Jandrian, Christopher Toney, and Sean Allen—United States Navy—Perspective on the Nav...

To view the meeting via livestream, please click here https://vimeo.com/event/4707701. Agenda 3:00 pm - 4:00 pm — Felix Cortez —United States Air Force—Perspective on assurance for embedded software

The committee will continue to work on the draft of the report.

Doug Schmidt from DOD Operational Test & Evaluation will provide the DOD OT&E perspective on software architecture and agility. To view the meeting, click here https://vimeo.com/event/4629593 October...

Russell Frew will offer his perspective on software assurance and nimbleness from the defense industry. To view the meeting, click here https://vimeo.com/event/4599770 3:00 pm - 4:30 pm — Russell Frew...

The committee will continue to work on the draft of the report.

The committee plans to work on the report draft.

The committee will hear from Maj. General Glenn Dean on software program innovations while Joe Kiniry of Galois will discuss formal methods for software assurance. To view the livestream, please click...

To view the meeting via livestream, please click here https://vimeo.com/event/4485577 Agenda 3:00 - 4:00 pm - Christopher Kern, Google - Perspective on Software Security at Scale

Briefers from Kessel Run will brief the committee on software development and acquisition. To view the meeting via Vimeo, please click here https://vimeo.com/event/4431499 Agenda 3:00 pm - 4:30 pm—Kes...

Mark Kitz, program executive officer of PEO C3N, will discuss the Army’s approach to command-and-control systems and networks, focusing on strategies for assuring large-scale, integrated software-base...

Doug Ghormley will share Sandia's viewpoint on Assurance from 3 to 4 p.m., followed by John Heimann, Greg Marsden, and Adam Drake from Oracle, who will discuss their perspectives on open source softwa...

The committee is scheduled to receive input from Brian Rosenberg regarding RTX's viewpoint on software assurance, while Mike Westra will provide insights from the automotive industry's perspective on...

The committee plans to hold its second face-to-face gathering at the National Academy of Sciences. During the first day, they'll receive insights from speakers regarding procurement, while the second...

The committee will receive insights from Murugiah Souppaya of NIST regarding secure software development, while Michael Durling from GE Research is slated to present on model-based methodologies for c...

This meeting was cancelled in its entirety.

The committee will meet to plan for future meetings.

This meeting was closed in its entirety.

To view the meeting via vimeo, click here https://vimeo.com/event/4118570 2:30 pm - 3:30 pm - LLMs and formal methods for software assurance Talia Ringer, University of Illinois, Urbana-Champaign 3:30...

To view the meeting via Vimeo, please click here https://vimeo.com/event/4044209. 2:00 pm - 3:00 pm - Perspective from the Joint Federated Assurance Center Melinda Reed, OUSD(R&E)

To view the meeting via vimeo, click here https://vimeo.com/event/4044205 The committee will hear about the "Application of formal verification in industry." 2:00 - 3:00 pm - Byron Cook, Amazon Web se...

The committee will hear the DARPA perspective on software assurance. To view the vimeo, please click here https://vimeo.com/event/4021953. 2:00 p.m. - 4:00 p.m. - Kathleen Fisher, DARPA Brad Martin,...

This meeting is closed in its entirety.

The inaugural meeting of the committee will include introductions from committee members, a review of committee composition, balance, and any possible conflicts of interest, a discussion of the study’...