Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption
Authors: Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki Waga and Kohei Suenaga
Paper Information
| Title: | Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption |
| Authors: | Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki Waga and Kohei Suenaga |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | online LTL monitoring, homomorphic encryption, Internet of Things |
| Pages: | 21 |
| Talk: | Aug 08 14:00 (Session 97A: Formal Methods for Hardware, Cyber-Physical and Hybrid Systems) |
| Paper: |  |