This report describes the EMV2 Instance Model’s structure, the challenges encountered when defining it, and the rationale used to choose its structure. The Error ...

This newsletter compiles the latest SEI releases and news about the upcoming symposium Cyber Mission Readiness in the Age of AI, using public LLMs to rapidly develop tools for use in classified ...

Proving the absence of use-after-free errors and other temporal memory safety vulnerabilities is complex and costly, particularly in large codebases such as those for mission-critical military systems ...

This contact form is for general questions and requests for contact. Do not use this contact form to send sensitive information. Please review the guidelines for sending sensitive information. If you ...

Ballman, A., 2014: Thread Safety Analysis in C and C++. Carnegie Mellon University, Software Engineering Institute's Insights (blog), Accessed February 19, 2026 ...

This podcast explores updates to the Pointer Ownership Model for C, a modeling framework designed to improve the ability of developers to statically analyze C programs for errors involving temporal ...

The Pointer Ownership Model (POM) project automates enforcement of temporal memory safety for C programs using a Large Language Model and a SAT Solver. Preventing ...

Presented at InfoSec World 2025 Home Publications Digital Library Dynamic Analysis of an Executable's System Impact ...

This short video urges program offices to consider how to use both Agile methods and DevSecOps as part of adopting the Software Acquisition Pathway. Brigid O'Hearn (Software Modernization Policy Lead) ...

This short video explains how important it is for PMOs to build an Agile culture as part of adopting the Software Acquisition Pathway. Brigid O'Hearn (Software Modernization Policy Lead) of the ...

Engineering secure software is hard to do! In this talk, I discuss two high-level, requirements-based approaches to improving software quality. The first is using a ...