sei.cmu3d
The CERT Division
The CERT Division is a leader in cybersecurity. We partner with government, industry, law enforcement, and academia to improve the security and resilience of computer systems and networks. We study ...
sei.cmu17d
Research Review 2024 Poster Session
CaBSCE introduces a novel method for cost estimation that aligns with modern software practices, where flexibility and speed are paramount.
sei.cmu17d
Explainable Verification for Rapid Certification
Deploying critical software with certification and frequent updates is a major challenge. Exhaustive testing of safety-critical systems is not possible due to the exponential growth of test cases; ...
sei.cmu17d
Towards Compositional Assurance of Large-Scale Systems
Assuring evolving large-scale systems (i.e., systems with multiple subsystems) can be a bottleneck in deploying capabilities with the speed and confidence needed for current Department of Defense (DoD ...
sei.cmu17d
Vessel: Modelling Container Reproducibility Failures
This project focuses on creating a foundational model for all container reproducibility efforts (open-source, commercial, U.S. Department of Defense (DoD), etc.). The lack of build reproducibility is ...
sei.cmu17d
Techniques for Detection of Information Flows Indicative of Inserted Malicious Code
Detecting malicious code is a challenge, particularly when it’s implanted in otherwise legitimate software. If undetected, malware injected into legitimate software can result in costly compromises of ...
sei.cmu17d
Co-Design for Edge Artificial Intelligence: Application-Specific System on Chip
Hardware inefficiencies pose major limitations to U.S. Department of Defense (DoD) applications; current processors simply cannot keep up with the large and complex machine learning (ML) workloads ...
sei.cmu18d
Research Review
SEI Publications Annual Reviews 2024 Research Review Schedule ¦ 2024 Research Review ...
sei.cmu1y
Artificial Intelligence Engineering
AI engineering is an emergent discipline focused on developing tools, systems, and processes to enable the application of artificial intelligence in real-world contexts. In contrast to the prevalent ...
sei.cmu2y
Secure Coding in C and C++
Producing secure programs requires secure designs. However, even the best designs can lead to insecure programs if developers are unaware of the many security pitfalls inherent in C and C++ ...
sei.cmu5mon
Annual Reviews
The SEI Year in Review spotlights projects and initiatives that demonstrate the SEI's value to its sponsors and customers in government and industry. These projects demonstrate the ways in which the ...