|
|
|
|
|
Meeting Host |
Dan Dongseong Kim, The University of Queensland, AU |
Program-at-a-Glance and Contents
Workshop
Trustworthy AI Systems and Networks
|
Workshop |
Dan Dongseong Kim, The University of Queensland, AU |
Session 1 - Security, Safety and Fault Tolerance of AI systems
|
Safe and Secure AI/ML-driven Autonomous Vehicles? Not anywhere near yet... Paulo Esteves-Veríssimo, KAUST, SA |
|
|
On Fault Tolerance of AI Systems Long Wang, Tsinghua University, CN |
|
|
Building Trust in AI Code Generators: A Focus on Robustness and Security Domenico Cotroneo, Universita degli Studi di Napoli Federico II, IT |
|
|
Securing AI Models: Strategies to Prevent Stealing Attacks
Sangkyun Lee, Korea University, KR |
|
|
Unique Cybertwin to Model and Design Sustainable Robust Clouds
Ravishankar K. Iyer, UIUC, US |
|
|
Blockchain Room of Requirements (BR^2): An LLM-Enhanced Simulator for Blockchain Protocols
Cong Wang, City University of Hong Kong, HK |
|
|
Path-Sensitive Abstract Execution for Software Vulnerability Detection
Yulei Sui, University of New South Wales, AU |
|
|
Towards Securing Graph Neural Networks in MLaaS Xingliang Yuan, The University of Melbourne, AU |
|
|
Session 1 |
|
|
Session 2 |
|
|
Session 3 |
|
|
Session 4 |
|
|
DeepVoice Detection: A Practical Approach Souhwan Jung, Soongsil University, KR |
|
|
Evaluation of LLM Chatbots for OSINT-based Cyber Threat Awareness Alysson Bessani, University of Lisboa, PT |
|
|
Blockchain Research @University of Coimbra Nuno Laranjeiro, University of Coimbra, PT |
|
|
Detecting Software Vulnerabilities in AI-generated Code Pietro Liguori, Universita degli Studi di Napoli Federico II, IT |
|
|
Systematically Assessing the Security Risks of AI/ML-enabled Connected Healthcare Systems Karthik Pattabiraman, UBC, CA |
|
|
Neural Network Verification for Robustness of Malware Classifiers Taylor T. Johnson, Vanderbilt University, US |
|
|
Characterizing GPU Memory Errors: Insights from a Cross-supercomputer Study Lishan Yang, George Mason University, US |
|
|
Towards Verification of Linux Kernel Code Julia Lawall, Inria, FR |
|
|
On Improving the Robustness Of Convolutional Neural Networks Juan-Carlos Ruiz-García, Universitat Politecnica de Valencia, ES |
|
|
CoreLocker: Neuron-level Usage Control Guangdong Bai, The University of Queensland, AU |
|
|
Unmanned Aerial Vehicles (UAVs) and Airspace Safety Naghmeh Ivaki, University of Coimbra, PT |
|
|
Confirmed-Location Group Membership for Intrusion-Resilient Cooperative Maneuvers Julio Mendonca, University of Luxembourg, LU |
|
|
86th IFIP WG 10.4 Meeting - Business Meeting |
|