This page shows all presentations of this author published in EasyChair Smart Slide.
Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
Masaki Waga, Kotaro Matsuoka, Takashi Suwa, Naoki Matsumoto, Ryotaro Banno, Song Bian and Kohei Suenaga
Symbolic Monitoring against Specifications Parametric in Time and Data
Masaki Waga, Étienne André and Ichiro Hasuo