4 citations · 5 across the 2 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2022★ 1 cited
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…
cs.CR2020★ 4 cited
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…