3 papers
cs.CR2025
GeoShield: Byzantine Fault Detection and Recovery for Geo-Distributed Real-Time Cyber-Physical Systems
Yifan Cai, Linh Thi Xuan Phan
Large-scale cyber-physical systems (CPS), such as railway control systems and smart grids, consist of geographically distributed subsystems that are connected via unreliable, async…
cs.LG2025
FairDP: Certified Fairness with Differential Privacy
Khang Tran, Ferdinando Fioretto, Issa Khalil +2
This paper introduces FairDP, a novel training mechanism designed to provide group fairness certification for the trained model's decisions, along with a differential privacy (DP)…
cs.OS2025
CORD: Co-design of Resource Allocation and Deadline Decomposition with Generative Profiling
Robert Gifford, Abby Eisenklam, Georgiy A. Bondar +4
As multicore hardware is becoming increasingly common in real-time systems, traditional scheduling techniques that assume a single worst-case execution time for a task are no longe…