Monitoring in the Dark: Privacy-Preserving Runtime Verification of Cyber-Physical Systems

Charles Koll, Preston Tan Hang, Mike Rosulek +1

In distributed Cyber-Physical Systems and Internet-of-Things applications, the nodes of the system send measurements to a monitor that checks whether these measurements satisfy giv…