Session Chair: Gokhan Kul, University of Massachusetts Dartmouth

2:15PM - 3:30PM:  "Trusting the System, Not Just the Model: A Perspective on AI-Enabled Autonomous Systems"  

Keynote by Prof. Marco Vieira, University of North Carolina at Charlotte

3:30PM-4:00PM: Coffee Break 

4:00PM - 4:34PM: Session 1: AI Safety, Security & Risk Analysis at Room (TBA)

Session Chair: TBA

• 4:00-4:17: Safety Beyond the Interface: Detecting Harm via Latent States in Large Language Models by Alizishaan Khatri, Chiquita Prabhu and Omkar Neogi
• 4:17-4:34: From Threat Intelligence to Decision Theory: ATT&CK-Derived Utility Functions for Adversarial Risk Analysis in NIDS by Mayank Raj, Nathaniel Bastian and Gokhan Kul
  

4:34PM - 5:25PM: Session 2: Dependable and Secure Cyber-Physical & Autonomous Systems at Room (TBA)

Session Chair: TBA

• 4:34-4:51: PACT: Predictive Approximate Computing with Temporal Guarantees by Gustavo Londono, Sibin Mohan, Sathish Gopalakrishnan and Radha Venkatagiri
• 4:51-5:08: Threat-Oriented Digital Twinning for Security Evaluation of Autonomous Platforms by Thomas Neubert, Laxima Niure Kandel and Berker Peköz
• 5:08-5:25: Consequence-Driven Dependability Models for Cyber-Physical Systems (CPS) by Ronan Oostveen, Stefano Simonetto, Peter Bosch, Alessandro Chiumento and Maarten van Steen