Guided Importance Sampling for Safety and Reliability: A Pragmatic Comparison of Symbolic and Simulation-Based Approaches
Tim Gonschorek, Frank Ortmeier (Otto von Guericke University Magdeburg)

Integrating Threat Analysis and Formal Verification for Secure OTA Updates
Sheraz Mazhar, Abdur Rakib (Coventry University); Robin Doss (Deakin University); Adnan Anwar (Centre for Cyber Resilience and Trust (CREST), Deakin University); Frank Jiang (Deakin University)

Speeding Up WebAssembly Development for the Computing Continuum
Mehmet Cihan Sakman, Josef Spillner (Zurich University of Applied Sciences); Valerio Schiavoni (University of Neuchâtel, Switzerland)

Robustness Evaluation under RGB-Camera Attacks in CARLA: A Systematic Evaluation of Color Modes and Attack Types
Yufeng Lin (The University of Queensland); Sangmin Park (Korea University); Hyunjae Kang (The University of Queensland); Huy Kang Kim (Korea University); Dan Dongseong Kim (The University of Queensland)

A Study on User Approval Criteria and User Interfaces for Dependability of AI-based Code Generation Tools
Minseo Ju (Seoul Women's University); Hyung Kook Jun (ETRI); Taeho Kim (IITP); Hyung-Jong Kim (Seoul Women's University)

A Self-Synchronizing Cyber Deception Framework via Infrastructure as Code Reflection
Junyeong Park (Sejong University); Sayeon Kim, Woohyun Jang, Yeon-Jae Kim, Shinwoo Shim, Olmi Lee (LIG Nex1 R&D Researcher); Ki-Woong Park (Sejong University)

An approach to creating the optimal attack path based on reinforcement learning
Hyo Sun Lee, Min Geun Song, Huy Kang Kim (Korea University)

Toward Dependability Simulation for Intelligent Transportation Systems in Connected Vehicle Environments
Saehoon Oh, Sangbeom Park, Gang Min Kim, Huy Kang Kim (Korea University)

Automated Vulnerability Repair of Obfuscated and Non-Obfuscated Smart Contracts Using Large Language Models
Chihiro Kado, Tatsuhiro Tsuchiya (The University of Osaka)

Automated Timeline-Based Forensic Report Generation with Anomaly Detection and LLM-Based CTI Mapping
Yongsik Kim, Saehee Jun, Junho Jang, Huy Kang Kim (Korea University)

Dependable Code Repair with LLMs: AI-Driven Vulnerability Detection and Automated Patching
Sungmin Han (Korea University); Hyoungshick Kim, Hojoon Lee (Sungkyunkwan University); Hyungon Moon (Ulsan National Institute of Science and Technology (UNIST)); Yuseok Jeon (Korea University); Ho Bae (Ewha Womans University); Donghyun Yeo (AI SPERA Inc.); Gail-Joon Ahn (Arizona State University); Sangkyun Lee (Korea University)

Toward an Autonomous Purple Teaming Framework for Security and Safety in Large Language Models
Leo Hyun Park, YoonSik Kim, Eunbi Hwang, Sangsoo Han (Yonsei University); Hyoungshick Kim (Sungkyunkwan University); Taekyoung Kwon (Yonsei University)

GALAXY: Generalized Attention-based LSTM Architecture with external query for Intrusion Detection in UAV Communication
Huy Kang Kim, Jae Yeon Lee (Korea University)

Orchestrating Fail-Safe, Black-Box Models within Federated Learning Scenarios
Fahad Ahmed Khokhar, Tommaso Zoppi (University of Florence); Jamal Hussain Shah (COMSATS University Islamabad, Wah Campus)

Towards Secure Containerized Applications with Seccomp Profile Refinement
Linh Nguyen-Thuy (University of Trento); Long Nguyen-Vu (AI Lab, MoAdata); Thien-Phuc Doan (Soongsil University); Jungsoo Park (Kangnam University); Souhwan Jung (Soongsil University)

TZmediator: Secure Cooperative Execution of Cloud Applications Using POSIX APIs on Arm TrustZone
Taiyo Sato, Kenichi Kourai (Kyushu Institute of Technology)

An Analysis of Sui's Transactions and Conflicts
Dvir David Biton, Roy Friedman (Technion)

Efficient Scheduling of Smart Contract Transactions via Conflict Graph Coloring
Ankit Ravish (Indian Institute of Technology, Hyderabad); Yaron Hay (Technion); Manaswini Piduguralla, Rishabh Jain (Indian Institute of Technology, Hyderabad); Roy Friedman (Technion); Sathya Peri (Indian Institute of Technology, Hyderabad)

Keyspector: Secure Monitoring of IoT Devices Using RISC-V Keystone
Takahito Iwano, Kenichi Kourai (Kyushu Institute of Technology)

SIROCCO: a dry wind to warn you from Bluetooth attacks
Paul Olivier, Florent Galtier (LAAS-CNRS); Guillaume Auriol, Vincent Nicomette, Romain Cayre (INSA Toulouse, LAAS-CNRS)

Support System for Creating Medical Incident and Accident Reports Utilizing Two Types of Medical Accident Databases
Koichi Bando (Center for Industrial Government Relations The University of Electro-Communicationsl); Kenjiro Inaba, Sachiko Honda (Department of Pharmacy General Sagami Kousei Hospital); Tetsuro Yumoto (Faculty of Pharmaceutical Sciences Shonan University of Medical Sciences); Atsunobu Sagara (Department of Pharmacy Japanese Red Cross Medical Center); Kenji Tanaka (Center for Industrial Government Relations The University of Electro-Communicationsl)

Physics‑Guided and Explainable Anomaly Detection for IEC 61850 Sampled Values
Sunoh Ryu (Korea Institute of Energy Technology (KENTECH)); Ryangsoo Kim, Hark Yoo (Electronics and Telecommunications Research Institute (ETRI)); Hyuk Lim (Korea Institute of Energy Technology); Seunghyun Yoon (Korea Institute of Energy Technology (KENTECH))

CLGuard: A Context-Aware Suppression Framework for Resilient Driving Control
Yeongju Seong (Korea Institute of Energy Technology (KENTECH)); Hyuk Lim (Korea Institute of Energy Technology); Seunghyun Yoon (Korea Institute of Energy Technology (KENTECH))