Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian 0001, Masaki Waga, Kohei Suenaga. Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption. In Sharon Shoham, Yakir Vizel, editors, Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I. Volume 13371 of Lecture Notes in Computer Science, pages 447-468, Springer, 2022. [doi]
Abstract is missing.