[論文・研究発表] 34th International Conference on Computer-Aided Verification (CAV'22) に採択されました。Banno, R. Matsuoka, K., Matsumoto, N., Bian, S., Waga, M., and Suenaga, K. "Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption".