PPaperPicks
← All conferences
Editions202620252024

DSN 2025

A

International Conference on Dependable Systems and Networks

Official site ↗
170
accepted papers
667
authors
June 23-26, 2025
dates
Italy
location

170 / 170 papers

  1. 1
    "I will always be by your side": A Side-Channel Aided PWM-based Holistic Attack Recovery for Unmanned Aerial Vehicles
    Muneeba Asif
    ,
    Jean Carlos Tonday Rodriguez
    ,
    Mohammad Kumail Kazmi
    ,
    Mohammad Ashiqur Rahman
    ,
    Kemal Akkaya
  2. 2
    5G-STREAM: Service Mesh Tailored for Reliable, Efficient and Authorized Microservices in the Cloud
    Tolga O. Atalay
    ,
    Alireza Famili
    ,
    Sudip Maitra
    ,
    Dragoslav Stojadinovic
    ,
    Angelos Stavrou
    ,
    Haining Wang
  3. 3
    A Closer Look At Modern Evasive Phishing Emails
    Elyssa Boulila
    ,
    Marc Dacier
    ,
    Siva Prem Vengadessa Peroumal
    ,
    Nicolas Veys
    ,
    Simone Aonzo
  4. 4
    A Digital Twin Approach to Autonomous Emergency Braking: HiL Testing with Raspberry Pi and Standardized Scenarios
    Roland Nagy
    ,
    Árpád Török
  5. 5
    A Digital Twin Network for Proactive Security: The Smart Grid Use-Case
    Biagio Boi
    ,
    Christian Esposito
  6. 6
    A Human Study of Automatically Generated Decompiler Annotations
    Yuwei Yang
    ,
    Skyler Grandel
    ,
    Jeremy Lacomis
    ,
    Edward J. Schwartz
    ,
    Bogdan Vasilescu
    ,
    Claire Le Goues
    ,
    Kevin Leach
  7. 7
    A Hybrid Cybersecurity Assessment Framework for Unmanned Aircraft Vehicles Based on IMECA and Penetration Testing
    Artem Abakumov
    ,
    Vyacheslav Kharchenko
    ,
    Peter T. Popov
  8. 8
    A Lightweight Reputation-Based Mechanism for Incentivizing Cooperation in Decentralized Federated Learning
    Kavindu Herath
    ,
    Suraj Mahangade
    ,
    Saurabh Bagchi
  9. 9
    A Margin Based Early-Stopping Approach for Random Forest Classifiers
    Mario Barbareschi
    ,
    Antonio Emmanuele
  10. 10
    A Model-based Approach for Cybersecurity Assessment of Off-Road and Defense Vehicles
    Umberto Bellini
    ,
    Marzieh Kordi
    ,
    Bruno Crispo
    ,
    Paolo Lollini
    ,
    Andrea Bondavalli
    ,
    Davide Compar
  11. 11
    A Typology of Quantum-Classical Faults
    Edoardo Giusto
    ,
    Santiago Núñez-Corrales
    ,
    Alessandro Cilardo
    ,
    Nicola Mazzocca
    ,
    Travis S. Humble
  12. 12
    Adaptive Identity Management: Unified Personalization and Privacy Protection for Web Apps
    Min-Chieh Wu
    ,
    Yu-Sung Wu
  13. 13
    Advancing Secure & Safe IoT and Edge Computing Platforms: Lessons from LoLiPoP IoT and SuzECK project
    George E. Violettas
  14. 14
    AI Agent-based Adaptive Task Offloading for Autonomous Drones in Dynamic Environments
    Qingyang Zhang
    ,
    Fumio Machida
  15. 15
    AI-Augmented Parameter Initialization for QAOA
    Jai Nana
    ,
    Xinpeng Li
    ,
    Ning Xie
    ,
    Shusen Pu
    ,
    Yifan Yu
    ,
    Qiang Guan
    ,
    Xiaotian Han
    ,
    Shuai Xu
    ,
    Vipin Chaudhary
  16. 16
    ammBoost: State Growth Control for AMMs
    Nicolas Michel
    ,
    Mohamed E. Najd
    ,
    Ghada Almashaqbeh
  17. 17
    An Analysis of Malicious Packages in Open-Source Software in the Wild
    Xiaoyan Zhou
    ,
    Ying Zhang
    ,
    Wenjia Niu
    ,
    Jiqiang Liu
    ,
    Haining Wang
    ,
    Qiang Li
  18. 18
    An Architectural Framework for Urban Digital Twin Design: A Case Study on Hydrogeological Risk Management
    Angelo Martella
    ,
    Antonella Longo
    ,
    Cristian Martella
    ,
    Marco Zappatore
    ,
    Francesca Miccoli
  19. 19
    An Integrated Digital Twin Architecture for Real-Time Urban Air Quality Management
    Manoj Herath
    ,
    Hrishikesh Dutta
    ,
    Roberto Minerva
    ,
    Noël Crespi
    ,
    Maira Alvi
    ,
    Syed Mohsan Raza
  20. 20
    An Open-source Implementation and Security Analysis of Triad's TEE Trusted Time Protocol
    Matthieu Bettinger
    ,
    Sonia Ben Mokhtar
    ,
    Anthony Simonet-Boulogne
  21. 21
    Anomaly Detection in Energy Performance Certificates - From Oblivious to Enlightened
    Nawel Benarba
    ,
    Mathieu Chevalier
    ,
    Sara Bouchenak
    ,
    Benjamin Bertin
    ,
    Olivier Jung
  22. 22
    Approximate and Stochastic Ising Machines
    Jie Han
  23. 23
    Assessing the Elephant in the Room in Scheduling for Current Hybrid HPC-QC Clusters
    Paolo Viviani
    ,
    Roberto Rocco
    ,
    Matteo Barbieri
    ,
    Gabriella Bettonte
    ,
    Elisabetta Boella
    ,
    Marco Cipollini
    ,
    Jonathan Frassineti
    ,
    Fulvio Ganz
    ,
    Sara Marzella
    ,
    Daniele Ottaviani
    ,
    Simone Rizzo
    ,
    Alberto Scionti
    ,
    Chiara Vercellino
    ,
    Giacomo Vitali
    ,
    Olivier Terzo
    ,
    Bartolomeo Montrucchio
    ,
    Daniele Gregori
  24. 24
    Assessing the Transferability of Adversarial Patches in Real-World Systems: Implications for Adversarial Testing of Image Recognition Security
    Stephan Kleber
    ,
    Jeremias Eppler
    ,
    Tim Palm
    ,
    Dennis Eisermann
    ,
    Frank Kargl
  25. 25
    Assessing the Validity of LLM-Driven Hazard Analysis: An Assessor's Perspective
    Michael Kevvay
    ,
    Vladislav Gryaznykh
    ,
    Oleg Kirovskii
    ,
    Anton Korolev
  26. 26
    Attack-Defense Trees with Offensive and Defensive Attributes
    Danut-Valentin Copae
    ,
    Reza Soltani
    ,
    Milan Lopuhaä-Zwakenberg
  27. 27
    ATTAQ: Adversarial Robustness of Quantum Machine Learning
    Francesco Marchiori
    ,
    Mauro Conti
  28. 28
    Audio Jailbreak Attacks: Exposing Vulnerabilities in SpeechGPT in a White-Box Framework
    Binhao Ma
    ,
    Hanqing Guo
    ,
    Zhengping Jay Luo
    ,
    Rui Duan
  29. 29
    Automatically Generating Rules of Malicious Software Packages via Large Language Model
    XiangRui Zhang
    ,
    XueJie Du
    ,
    Haoyu Chen
    ,
    Yongzhong He
    ,
    Wenjia Niu
    ,
    Qiang Li
  30. 30
    BASSET: Enhancing Binary Code Clone Searching through Multi-Level Hybrid Semantic Indexing
    Yong Zhao
    ,
    Ang Xia
    ,
    Jie Yin
    ,
    Zhi Wang
    ,
    Yaqin Cao
    ,
    Xiangyi Zeng
    ,
    Yuling Liu
  31. 31
    Be My Guest: Welcoming Interoperability into IBC-Incompatible Blockchains
    Michal Nazarewicz
    ,
    Dhruv D. Jain
    ,
    Miguel Matos
    ,
    Blas Rodriguez
  32. 32
    Benchmarking AI Agents for IT Automation Tasks with ITBench
    Jackson Clark
    ,
    Rohan R. Arora
    ,
    Saurabh Jha
  33. 33
    Beyond Component Failures: Safety Challenges in Complex Maritime Control Systems
    Odd Ivar Haugen
    ,
    Aleks Karlsen
    ,
    Steven Mearns
    ,
    Jan van Tiggelen
  34. 34
    Beyond Control: Embracing Emergent Behavior in Symbiotic Digital Twin and CPS Ecosystems
    Andrea Garbugli
    ,
    Armir Bujari
    ,
    Paolo Bellavista
  35. 35
    Bridging the Safety Gap: A C-ITS Solution for Protecting Vulnerable Road Users
    Mario Fiorentino
    ,
    Michele Caggiano
    ,
    Alessandro Magliacane
    ,
    Angelo Coppola
    ,
    Andrea Marchetta
  36. 36
    Characterizing Modern GPU Resilience and Impact in HPC Systems: A Case Study of A100 GPUs
    Shengkun Cui
    ,
    Archit Patke
    ,
    Ziheng Chen
    ,
    Aditya Ranjan
    ,
    Hung Nguyen
    ,
    Phuong Cao
    ,
    Brett M. Bode
    ,
    Gregory H. Bauer
    ,
    Saurabh Jha
    ,
    Chandra Narayanaswami
    ,
    Daby Sow
    ,
    Catello Di Martino
    ,
    Zbigniew T. Kalbarczyk
    ,
    Ravishankar K. Iyer
  37. 37
    ConfBench: A Tool for Easy Evaluation of Confidential Virtual Machines
    Andrea De Murtas
    ,
    Daniele Cono D'Elia
    ,
    Giuseppe Antonio Di Luna
    ,
    Pascal Felber
    ,
    Leonardo Querzoni
    ,
    Valerio Schiavoni
  38. 38
    Cordial: Cross-row Failure Prediction Method Based on Bank-level Error Locality for HBMs
    Wenwei Gu
    ,
    Jiazhen Gu
    ,
    Renyi Zhong
    ,
    Wenyu Zhang
    ,
    Ming Li
    ,
    Michael R. Lyu
  39. 39
    DDR5 DRAM Faults in the Field
    Majed Valad Beigi
    ,
    Yi Cao
    ,
    Grace Tsai
    ,
    Sudhanva Gurumurthi
    ,
    Vilas Sridharan
  40. 40
    Decentralized Federated Learning: Enhancing Reliability with Blockchain
    Antonella Del Pozzo
    ,
    Maxence Perion
  41. 41
    Decoding DNS Centralization: Measuring and Identifying NS Domains Across Hosting Providers
    Qihang Peng
    ,
    Mingming Zhang
    ,
    Deliang Chang
    ,
    Jia Zhang
    ,
    Baojun Liu
    ,
    Haixin Duan
  42. 42
    Decoding Neighborhood Environments with Large Language Models
    Andrew Cart
    ,
    Shaohu Zhang
    ,
    Melanie Escue
    ,
    Xugui Zhou
    ,
    Haitao Zhao
    ,
    Prashanth Busireddygari
    ,
    Beiyu Lin
    ,
    Shuang Li
  43. 43
    Deep&Wide: Achieving Area Efficiency in Scalable Approximate Accelerators
    Farjana Jalil
    ,
    Muhammad Awais
    ,
    Qazi Arbab Ahmed
    ,
    Hassan Ghasemzadeh Mohammadi
    ,
    Thorsten Jungeblut
    ,
    Marco Platzner
  44. 44
    DeepICS: Deep Causal Relationship Modeling for Multi-Source Log-Based Anomaly Detection in Industrial Control Systems
    Seong-Su Yoon
    ,
    Dong-Hyuk Shin
    ,
    Ieck-Chae Euom
  45. 45
    Dependability Assurance with Symbolic Reasoning in LLM-Enabled Systems
    András Gergely Deé-Lukács
    ,
    András Földvári
  46. 46
    Detecting Code Vulnerabilities using LLMs
    Larry Huynh
    ,
    Yinghao Zhang
    ,
    Djimon Jayasundera
    ,
    Woojin Jeon
    ,
    Hyoungshick Kim
    ,
    Tingting Bi
    ,
    Jin B. Hong
  47. 47
    Detecting Scrapers on E-commerce Websites Using a Reduced Feature Set
    Umberto Fontana
    ,
    Elisa Chiapponi
    ,
    Claudio Costanza
    ,
    Vincent Rigal
    ,
    Olivier Thonnard
    ,
    Martynas Buozis
    ,
    Hervé Debar
  48. 48
    Digital Cluster Circuits for Reliable Datacenters
    Davide Rovelli
    ,
    Patrick Eugster
  49. 49
    Digital Twins for Trustworthy Autonomy
    Francesco Flammini
  50. 50
    DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems
    Trisanth Srinivasan
    ,
    Santosh V. Patapati
    ,
    Himani Musku
    ,
    Idhant Gode
    ,
    Aditya Arora
    ,
    Samvit Bhattacharya
    ,
    Abubakr Nazriev
    ,
    Sanika Hirave
    ,
    Zaryab Kanjiani
    ,
    Srinjoy Ghose