|
|
|
|
|
Meeting Host |
Doug Blough, Georgia Institute of Technology, US |
Program-at-a-Glance and Contents
Workshop
Trustworthy AI-Enabled Cyber-Physical Systems
|
Workshop |
Homa Alemzadeh, University of Virginia, US Saman Zonouz, Georgia Tech, US |
Session 1 - ML/AI Verification in CPS
|
Neural Network Verification in Autonomous Cyber-Physical Systems (CPS) Taylor T. Johnson, Vanderbilt University, US |
|
|
Assured Perception and Control of Autonomous Systems Using Formal Verification of Neural Networks Yasser Shoukry, UC Irvine, US |
|
Session 2 - Safety and Security of ML-Enabled CPS
|
Building Error-resilient and Attack-resilient ML-enabled CPS Karthik Pattabiraman, UBC, CA |
|
|
No-Regret Learning for Trustworthy Online Decision-Making Mahsa Ghasemi, Purdue, US |
|
Session 3 - Panel on Trustworthy CPS and Educational Initiatives
|
Attacks and Defenses in Multi-robot Systems Cristina Nita-Rotaru, Northeastern University, US |
|
|
Educational Efforts to Enhance Cybersecurity at William & Mary Evgenia Smirni, William & Mary, US |
|
|
The Security of Engineered Systems Michael Bailey, Georgia Tech, US |
|
Session 4 - Neurosymplic AI in CPS
|
A Trip to the Neural Frontier: Neurosymbolic Sensor Fusion for
Trustworthy CPS Luis Garcia, University of Utah, US |
|
|
Predictive Monitoring and Safety Shielding for AI-Enabled CPS Lu Feng, University of Virginia, US |
|
|
Watch Out for the Safety-Threatening Actors: Proactively Mitigating Safety Hazards Saurabh Jha, IBM, US |
|
|
Combating Digital Deception: Trustworthy AI in the Bot & Fraud
Space Yi Han, F5, US |
|
|
Challenges of Using AI in Automotive CPS Ramon Serna Oliver, TTTech, AT |
|
|
Session 1 |
|
|
Session 2 |
|
|
Session 3 |
|
|
Session 4 |
|
|
Session 5 |
|
|
Free Ride for Resilience: From the Perspective of Software Engineering Lishan Yang, George Mason University, US |
|
|
Do Security Tools Work?
Adwait Nadkarni, William & Mary, US |
|
|
Trustworthiness for AI Code Generators Pietro Liguori, Universita degli Studi di Napoli Federico II, IT |
|
|
Why is cybersecurity so bad & What can we do about it Jay Lala, Raytheon, US |
|
|
85th IFIP WG 10.4 Meeting - Business Meeting |
|
|
Intelligent Vehicle Dependability & Security (IVDS) Project Final Status Presentation |
|