| Safety Engineering Challenges in LLM Era |
|
| People struggle to produce good assurance cases… ..would AI do any better? |
|
| Promises, Promises: AI and Certification |
|
| AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases |
|
| Ontology-based Representation for Assurance and Compliance |
|
| Shift left / Shift up: Protecting Safety-Critical Software Intensive Systems from Malicious Action |
|
| From abstract performance-based regulatory requirements to verifiable engineering requirements: Some challenges |
|
| Examining Proposed Uses of LLMs to Produce or Assess Assurance Arguments |
|
| Are Betting Markets Better than Polling in Predicting Political Elections? |
|
| 2025 Q3 |
|
| HCSS 2026 Program Committee |
|
| Challenge Problem Review: Resident Cooperative AI/ML in Compromised Environments |
|
| 2026 HCSS Call for Presentations |
|
| Science of Security Paper Competition Nomination Form (2026) |
|
| HCSS 2026 Presentation Materials |
|
| HCSS 2026 Slides |
|
| 2026 HCSS Conference Survey |
|
| 2026 HCSS Conference Poster Submission |
|
| 2026 HCSS Conference - Accepted Poster/Demo Information |
|
| High Confidence Software and Systems Conference |
|
| CMU SoS 2014 Quarterly Lablet PI Meeting |
|
| Science of Security Lablet BAA Kickoff Meeting |
|