Examining Proposed Uses of LLMs to Produce or Assess Assurance Arguments
Presenters: Mallory S. Graydon and Sarah M. Lehman (NASA Langley Research Center)
From abstract performance-based regulatory requirements to verifiable engineering requirements: Some challenges
Presenter: Sushil Birla, U.S. Nuclear Regulatory Commission
Shift left / Shift up: Protecting Safety-Critical Software Intensive Systems from Malicious Action
Presenter: Harald Ruess, SRI International
Ontology-based Representation for Assurance and Compliance
Presenter: Barbara Gallina, Mälardalen University
AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases
Presenter: Torin Vigor, University of Toronto
Promises, Promises: AI and Certification
Presenter: Bill Scherlis, CMU
People struggle to produce good assurance cases… ..would AI do any better?
Presenter: Robin Bloomfeld, City University and Adelard LLP
Safety Engineering Challenges in LLM Era
Presenter: Ramesh S, General Motors R&D
Blue Team Con 2025
Blue Team Con 2025 takes place at the Fairmont Chicago, IL, with training sessions on September 4–5 and the main conference on September 6–7, 2025.
What It’s About
As the only in-person conference focused entirely on cybersecurity defenders, Blue Team Con gathers over 850 professionals—including SOC analysts, threat hunters, incident responders, and defensive developers—to share knowledge through hands-on training, villages, and talks.
Key Highlights