|
|
|
|
|
Meeting Hosts |
Marco Vieira, University of Coimbra, PT Henrique Madeira, University of Coimbra, PT |
Program-at-a-Glance and Contents
Workshop
On the Future of Dependable Computing and Fault Tolerance
|
Workshop |
Marco Vieira, University of Coimbra, PT Henrique Madeira, University of Coimbra, PT |
Session 1: From the past to the future: Reshaping dependable
computing and fault tolerance...
|
What Next? Brian Randell, University of Newcastle upon Tyne, GB |
|
|
Towards Reliable and Robust
Generative Foundation Models
for Critical Infrastructure Ravishankar Iyer, University of Illinois at Urbana-Champaign, US |
|
|
Future dependability problems: insoluble? intractable?
or just very difficult? Tom Anderson, University of Newcastle upon Tyne, GB |
|
|
New Problems in Dependability:
Quantum Computing Cristina Nita-Rotaru, Northeastern University, US |
|
|
Dependability Remit: Narrow vs Broad Roy Maxion, Carnegie-Mellon University, US |
Session 2: Giving the floor to the younger members: Grand Challenges
for our community
|
Cyber-Physical Intrusion Resilience Saman Zonouz, Georgia Tech, US |
|
|
Dependability Challenges for
industrial 6G applications Catello Di Martino, Nokia Bell Labs, US |
|
|
Complexity, an old forgotten enemy Marcus Voelp, University of Luxembourg, LU |
|
|
The Future of Trust: Research and Community Challenges -
A viewpoint Jiangshan Yu, Monash University, AU |
Panel: Dependability and Security Challenges in the face of 21st Century
Threats and Trends: Industry and Academic Perspectives
|
Pervasive AI and complex socio-technical systems Lorenzo Strigini, City University London, GB |
|
|
Dependability Challenges in Personal Health Solutions Paulo Carvalho, University of Coimbra, PT |
|
|
Dependability Assurance Challenges posed by 21st Century Trends John Meyer, University of Michigan, US |
|
|
Industry Perspective on Complexity-driven Challenges Wilfried Steiner, TTTech, AT |
|
|
Cyber Resiliency and Survivability in Aerospace & Defense Domains Jay Lala, Raytheon Technologies, US |
|
Session 3: Share your view on the future of dependable computing and
fault tolerance!
|
The Future of Dependable Distributed Systems is Simple Alysson Bessani, University of Lisboa, PT |
|
|
Dependability in practice: How to do it? Razvan Beuran, JAIST, JP |
|
|
The Future of Dependability: Perspectives Elias Duarte, Federal University of Paraná, BR |
|
|
Dependable future mobile networked systems: Connected Communities, Vehicles & Health Ahmed Helmy, University of North Carolina at Charlotte, US |
|
|
Testing Software Out-of-House: How to Make it Reliable while
Ensuring Code Privacy Iberia Medeiros, University of Lisboa, PT |
|
|
Masking Control Faults with n = f+1 Marcus Voelp, University of Luxembourg, LU |
|
|
The Mystery of the Missing Sensor Algirdas Avizienis, UCLA, US |
|
|
AI for Cybersecurity vs. Cybersecure AI: a chicken and egg problem? Paulo Esteves-Veríssimo, KAUST, SA |
|
|
New systems, inevitable doubt, actual risk Lorenzo Strigini, City University London, GB |
|
|
Consistent Logical Automated Reasoning for Integrated System
Software Assurance (CLARISSA) Robert Stroud, Adelard LLP, GB |
|
|
Offloading for Secure Microservice Architectures Naohiro Hayashibara, Kyoto Sangyo University, JP |
|
|
Analysis of the Interplay between dependability and security
atributes Behrooz Sangchoolie, RISE, SE |
|
|
Automating Adversary EmulaPon of Advanced Persistent Threats Roberto Natella, Università degli Studi di Napoli Federico II, IT |
|
|
Leveraging In-Network CompuPng with Network Function
Virtualization Elias Duarte, Federal University of Paraná, BR |
|
|
Session 1 |
|
|
Session 2 |
|
|
Panel |
|
|
Session 3 |
|
|
84th IFIP WG 10.4 Meeting - Business Meeting |
|