4 citations · 7 across the 3 of their papers we have counts for
3 papers
Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
Masaki Waga, Kotaro Matsuoka, Takashi Suwa +4
When monitoring a cyber-physical system (CPS) from a remote server, keeping the monitored data secret is crucial, particularly when they contain sensitive information, e.g., biolog…
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption
Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto +3
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…
Virtual Secure Platform: A Five-Stage Pipeline Processor over TFHE
Kotaro Matsuoka, Ryotaro Banno, Naoki Matsumoto +2
We present Virtual Secure Platform (VSP), the first comprehensive platform that implements a multi-opcode general-purpose sequential processor over Fully Homomorphic Encryption (FH…