Physics-Attested Federated Learning: Securing Collaborative Anomaly Detection in Critical Water Infrastructure
This work repurposes cyber-physical process invariants from runtime detection heuristics into a verifiable admission requirement for federated updates, mined automatically from clean operational data, and shows invariant compliance using zero-knowledge proofs to allow clients to prove batch adherence without revealing...