Monitoring in the Dark: Privacy-Preserving Runtime Verification of Cyber-Physical Systems. - Charles Koll; Preston Tan Hang; Mike Rosulek; Houssam Abbas (CoRR, 2025)