Wrubel, E., Creel, R., and O'Hearn, B., 2025: 5 Essential Questions for Implementing the Software Acquisition Pathway and the Tools to Tackle Them. Carnegie Mellon University, Software Engineering ...

A recent survey found that many developers felt comfortable using the Rust programming language in two months or less. Yet barriers to Rust adoption remain. Our latest podcast explores the benefits of ...

This technical report proposes a formal semantics for EMV2 and shows how to leverage this semantics to generate fault trees from an AADL model enriched with EMV2 information.

Emil Mathew is a machine learning engineer in the CERT Division at Carnegie Mellon University's Software Engineering Institute. He has supported national security efforts for over 10 years in civilian ...

This report describes the TSP technology as an implementation strategy for teams that are attempting to apply disciplined software process methods. The Software Engineering Institute has developed the ...

Complete the form below to register and download a free online copy of SEI CERT C Coding Standard: Rules for Developing Safe, Reliable, and Secure Systems (2016 Edition). Writing secure C code helps ...