SEI Digital Library
Latest Publications
Explainable Verification: Survey, Situations, and New Ideas
• White Paper
By Bjorn Andersson, Dionisio de Niz, Mark H. Klein
This report focuses on potential changes in software development practice and research that would help tools used for formal methods explain their output, making software practitioners more likely to trust …
Read2023 SEI Year in Review
• Annual Report
By Software Engineering Institute
The 2023 SEI Year in Review highlights the work of the institute undertaken during the fiscal year spanning October 1, 2022, to September 30, 2023.
ReadDeveloping and Using a Software Bill of Materials Framework
• Podcast
By Carol Woody, Michael S. Bandor
Carol Woody and Michael Bandor discuss a Software Bill of Materials framework to help organizations establish a comprehensive set of practices and processes.
ListenThe Importance of Diversity in Cybersecurity: Carol Ware
• Podcast
By Carol Ware
Carol Ware, a senior cybersecurity engineer in the SEI's CERT Division, discusses the evolution of her career and the importance of diversity in the field.
ListenThe Importance of Diversity in Artificial Intelligence: Violet Turri
• Podcast
By Violet Turri
Violet Turri, a software developer in the SEI’s AI Division, discusses the evolution of her career in AI and the importance of diversity in the field.
ListenUsing Large Language Models in the National Security Realm
• Podcast
By Shannon Gallagher
Shannon Gallagher discusses findings and recommendations from the Mayflower Project and provides additional background information about LLMs and how they can be engineered for national security use.
ListenZero Trust Industry Days 2024 Scenario: Secluded Semiconductors, Inc.
• White Paper
By Rhonda Brown
This scenario guides discussions of solutions submitted to address the challenges of implementing zero trust.
ReadConsiderations for Evaluating Large Language Models for Cybersecurity Tasks
• White Paper
By Jeff Gennari, Shing-hon Lau, Samuel J. Perl, Joel Parish (OpenAI), Girish Sastry (OpenAI)
In this paper, researchers from the SEI and OpenAI explore the opportunities and risks associated with using large language models (LLMs) for cybersecurity tasks.
ReadAtypical Applications of Agile and DevSecOps Principles
• Podcast
By Lyndsi A. Hughes, David Sweeney
Lyndsi Hughes and David Sweeney discuss their experiences leveraging DevSecOps pipelines in atypical situations for capability delivery and business mission.
ListenWhen Agile and Earned Value Management Collide: 7 Considerations for Successful Interaction
• Podcast
By Patrick R. Place, Stephen Wilson
Patrick Place and Stephen Wilson discuss seven considerations for successful use of Agile and EVM.
Listen