Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption. (arXiv:2206.03582v1 [cs.CR])

In many Internet of Things (IoT) applications, data sensed by an IoT device
are continuously sent to the server and monitored against a specification.
Since the data often contain sensitive information, and the monitored
specification is usually proprietary, both must be kept private from the other
end. We propose a protocol to conduct oblivious online monitoring -- online
monitoring conducted without revealing the private information of each party to
the other -- against a safety LTL specification. In our protocol, …

encryption fully homomorphic encryption homomorphic encryption monitoring oblivious safety