LOGSAFE: Logic-Guided Verification for Trustworthy Federated Time-Series Learning

Dung Thuy Nguyen, Ziyan An, Taylor T. Johnson +2

This paper introduces LOGSAFE, a defense mechanism for federated learning in time series settings, particularly within cyber-physical systems. It addresses poisoning attacks by mov…