sei.cmu

Choosing the Hardware That Will Put DARPA MOCHA’s Compilers to the Test

This post walks through how we are approaching that question. We describe what MOCHA is trying to do, the role the SEI plays, how we selected candidate hardware, the list of that hardware and how we ...
sei.cmu

EMFTA: an Open Source Tool for Fault Tree Analysis

Delange, J. (2016, July 18). EMFTA: an Open Source Tool for Fault Tree Analysis. Retrieved October 5, 2026, from https://www.sei.cmu.edu/blog/emfta-an-open-source ...
sei.cmu

A New Approach for Handheld Devices in the Military

Morris, E. (2011, April 4). A New Approach for Handheld Devices in the Military. Retrieved October 5, 2026, from https://www.sei.cmu.edu/blog/a-new-approach-for ...
sei.cmu

Native AI for MBSE: Lessons Learned and Measures from a Knowledge-Grounded Experimentation Platform

This presentation, delivered at the AI4SE & SE4AI Workshop 2026 on September 23, 2026, shares insights from a knowledge-grounded experimentation platform for native AI integration in model-based ...
sei.cmu

A Framework for DevSecOps Evolution and Achieving Continuous-Integration/Continuous-Delivery (CI/CD) Capabilities

Hughes, L., & Jackson, V. (2021, February 15). A Framework for DevSecOps Evolution and Achieving Continuous-Integration/Continuous-Delivery (CI/CD) Capabilities ...
sei.cmu

A Guide to the Convergence of Electronic Warfare and Cyber Operations

McIlvenny, J. (2026, July 14). A Guide to the Convergence of Electronic Warfare and Cyber Operations. Retrieved September 30, 2026, from https://doi.org/10.58012/ssy8 ...
sei.cmu

Addressing the Detrimental Effects of Context Switching with DevOps

Waits, T. (2015, March 5). Addressing the Detrimental Effects of Context Switching with DevOps. Retrieved September 30, 2026, from https://www.sei.cmu.edu/blog ...
sei.cmu

Software-Defined Warfare: Crossing the Chasm in Two Software Areas

Nielsen, P. (2026, June 23). Software-Defined Warfare: Crossing the Chasm in Two Software Areas. Retrieved September 30, 2026, from https://doi.org/10.58012/9wg2-8778 ...
sei.cmu

The Dangers of VHD and VHDX Files

Dormann, W. (2019, September 4). The Dangers of VHD and VHDX Files. Retrieved September 30, 2026, from https://www.sei.cmu.edu/blog/the-dangers-of-vhd-and-vhdx-files ...
sei.cmu

Weaknesses and Vulnerabilities in Modern AI: Integrity, Confidentiality, and Governance

Scherlis, B. (2024, August 5). Weaknesses and Vulnerabilities in Modern AI: Integrity, Confidentiality, and Governance. Retrieved September 30, 2026, from https://doi ...
sei.cmu

Data Poisoning in AI Models: The Case for Chain of Custody Controls

Metcalf, R., & Churilla, M. (2026, April 27). Data Poisoning in AI Models: The Case for Chain of Custody Controls. Retrieved September 30, 2026, from https://doi.org ...
sei.cmu

Windows Event Logging for Insider Threat Detection

Spooner, D. (2019, May 23). Windows Event Logging for Insider Threat Detection. Retrieved October 4, 2026, from https://www.sei.cmu.edu/blog/windows-event-logging-for ...