@misc{indiciae2ff99caedd2b,
  title = {Monitoring in the Dark: Privacy-Preserving Runtime Verification of Cyber-Physical Systems},
  author = {Charles Koll and Preston Tan Hang and Mike Rosulek and Houssam Abbas},
  year = {2025},
  url = {https://arxiv.org/abs/2505.16059},
  note = {Source identifier: 2505.16059}
}