On the Decidability of Distributed Tasks with Output Sets under Asynchrony and Any Number of Crashes
Timothe Albouy, Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou, Junlang Wang
TUNE-DPFL: Adaptive Noise Calibration for Differentially Private Federated Learning under Data Heterogeneity and Dynamic Participation
Junmei Cai, Taochun Wang, Fulong Chen, Kuide Wang, Peng Hu, Yonglong LuoCerberus: Latency-Aware Scheduling with
Graceful Degradation for Constrained Edge Infrastructures
Yinan Cao, Etienne Rivière, Ramin Sadre
ACGMI-FL: Trajectory-Guided Model Inversion Attacks in Federated Learning
Depeng Chen, Xianhai Rong, Hulin Jin
From Capabilities to Compromises: A Systematic Study of Host-Boundary Enforcement in CLI Coding Agents
Yu Chen, TaiYan Wang, Binbin Zhao, Boyu Chang, Hong Guo, Fan Shi, Ruipeng Wang, Yi Shen, Yang Li, Shouling Ji, Zulie Pan
Rethinking Privacy-Preserving Fine-Tuning via High-Throughput Oblivious Dataset Synthesis
Tingyu Fan, Xiaojun Chen, Xudong Chen
Extending MadSim for Deterministic Byzantine Simulation
Abel Dantas, Carlos Baquero
Assessing the Effect of Timing Faults in Edge AI Accelerators via Driver-Level Fault Injection
Marcello Cinque, Luigi De Simone, Nike Di Giacomo
Enabling Differentiated QoS Degradation for Replicated Databases under Failures
Belkis Djeffal, Pierre Bourhis, Romain Rouvoy
Real-Time Anomaly Detection with Contextual Log Parsing in Distributed Systems
Hadjou Ilyas, Irshad Khan, Young-Woo Kwon
HyperShard: A Hypergraph-Based State Sharding Protocol for Smart Contract Transactions in Blockchain
Helang He, Xiao Zhang, Linxuan Su, Wendi Cheng, Xiaonan Zhao, Zhijie Huang
Baker: A Privacy-Preserving, NIZK-free and Efficient Payment Channel Hub Supporting Bidirectional Channels
Wenjing Li, Zi Li, Yuan Zhang, Sheng Zhong
XORbit: Bypassing Update and Repair Penalties in Erasure-Coded KV Stores via Dynamic Decoupling
Xiyuan Liang, Wenzhe Zhu, Chang Feng, Weiqiang Yu, Xinran Zhang, Weifa Liang
Communication Efficient Semi-Supervised DFL via Quality-Aware Topology Construction in Edge Networks
Su Liu, Hong Shen, KA LUN EDDIE LAW, Chan-Tong LAM
Auto-MIRES: Automatically Detecting and Recovering Mobile Applications from Intrusions
Valentim Santos, David R Matos, Miguel Correia
Aqueduct: Combining Rapid Data Migration and Smooth Elasticity in Key-Value Stores
Efstratios Ntallaris, Antonis Papaioannou, Kostas Magoutis
Speculative Self-stabilizing Mutual Exclusion and Other Problems in Highly Dynamic Networks
Stéphane Devismes, Swan Dubois, François Malenfer, Franck Petit, Mouna Safir
Lock-free Asynchronously Distributed Linked Lists
Raaghav Ravishankar, Sandeep Kulkarni, Sathya Peri, Gokarna Sharma
Knox: Fortifying Smart Spaces With Safety Guarantees
Rishabh Menezes, Jadon Schuler, Kaimeng Zhu, Oliver Rogalski, Indranil Gupta
HyPPoComp: Flexible Privacy-Preserving Data Processing in Hybrid Environments
Romain de Laage, Pascal Felber, Valerio Schiavoni
JeSsi-Bench: A Practical and Extensible Benchmarking Tool for JavaScript Engines
Romain de Laage, Loris Witschard, Pascal Felber, Francisco Maia, Valerio Schiavoni
Graph Optimization Based Detection of Stealthy Spoofing Attacks in Drone Swarms
Chenrui Wang, Lijuan Wang, Chao Yang, Jun Shen, Huan Wang
POLLEN: Byzantine-Tolerant Latency Reporting in Partially Connected Networks
Yérom-David Bromberg, Jérémie Decouchant, Manon Sourisseau, François Taïani
Beyond Single-Threshold Security: A Multi-Threshold Characterization of Byzantine Reliable Broadcast Protocols
Silvia Bonomi, Lorenzo Di Filippo, Yasmine Lezoul, Sebastien Tixeuil
LLM-Based Robustness Testing of Microservice Applications: An Empirical Study
Hrushitha Tigulla, Marco Vieira
Federated Learning Data Selection: Revealing the Hidden Dangers on Heterogeneous FL Systems
Artur Vieira Pereira, Nawel Benarba, Sara Bouchenak
Communication-Efficient Secure Aggregation in Decentralized Learning
Sayan Biswas, Anne-Marie Kermarrec, Rafael Pires, Rishi Sharma, Milos Vujasinovic
FedCAR: Coordinated Signal Reconstruction for Byzantine-Robust Federated Learning under Differential Privacy
Zhiying WANG, Maharage Nisansala Sevwandi Perera, Mhd Irvan, Ryosuke Kobayashi, Franziska Zimmer, Rie Shigetomi Yamaguchi
Zydra: Unlocking Concurrency in NIZK-Based Smart Contracts
Tongqi Wang, Jian Dong, Songyan Ji, Jin Wu
TARA: A Two-Step Gradient-Based Reconstruction Attack against Federated Graph Classification
Qianjun Wei, Qiang Li, Binghui Wang, Yuede Ji
FortiFed: Fortifying Federated Learning Against Poisoning Attacks under Non-IID Data and High-Proportion Adversaries
Yuanxiang Wu, Peng Cao, Wenyu Qin, Hang Cheng, Sin G Teo, Yonghua Su, Fei Chen
BurstTrack: Real-Time Low-Rate DDoS Detection via Temporal and Causal Flow Analysis
Rachel Yamamoto, An Wang
Coupling Local and Global Parities for Efficient and Reliable Wide-Stripe Storage Systems
Fan Yu, Guodong Li, Si Wu, Weijun Fang, Sihuang Hu
CDN Tsunami: Exploiting HTTP/3-HTTP/1.1 Conversion for DoS Attacks
Ziyu Lin, Tianlong Su, Yingjie Lin, Prosanta Gope, Yinzhi Cao, Ximeng Liu, Biplab Sikdar