Kotaro Matsuoka

According to our database, Kotaro Matsuoka authored at least 3 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption.

Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki Waga, Kohei Suenaga

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Virtual Secure Platform: A Five-Stage Pipeline Processor over TFHE.

Kotaro Matsuoka, Ryotaro Banno, Naoki Matsumoto, Takashi Sato, Song Bian

Proceedings of the 30th USENIX Security Symposium, 2021

Towards Better Standard Cell Library: Optimizing Compound Logic Gates for TFHE.

Kotaro Matsuoka, Yusuke Hoshizuki, Takashi Sato, Song Bian

Proceedings of the WAHC '21: Proceedings of the 9th on Workshop on Encrypted Computing & Applied Homomorphic Cryptography, 2021