TY  - RPRT
TI  - Monitoring in the Dark: Privacy-Preserving Runtime Verification of Cyber-Physical Systems
AU  - Charles Koll
AU  - Preston Tan Hang
AU  - Mike Rosulek
AU  - Houssam Abbas
PY  - 2025
UR  - https://arxiv.org/abs/2505.16059
ID  - 2505.16059
ER  -