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 ...

SEI experts at the March 12 event will discuss government and military CMR challenges, as well as emerging solutions for a cyber- and AI-ready workforce.

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 ...

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

Students who wish to purchase the certificate program package (two eLearning courses, instructor-led course, certificate exam) will receive a discount from the total cost. The program packages ...

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 ...

February 3, 2026—After more than two decades of extraordinary leadership, Paul Nielsen will transition out of his role as director and chief executive officer of the Software Engineering Institute ...