Kotaro Matsuoka

According to our database, Kotaro Matsuoka authored at least 6 papers between 2021 and 2024.

Collaborative distances:

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

2024

Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption.

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

Proceedings of the Runtime Verification - 24th International Conference, 2024

Logic Locking over TFHE for Securing User Data and Algorithms.

Kohei Suemitsu, Kotaro Matsuoka, Takashi Sato, Masanori Hashimoto

Proceedings of the 29th Asia and South Pacific Design Automation Conference, 2024

HOGE: Homomorphic Gate on An FPGA.

Kotaro Matsuoka, Song Bian, Takashi Sato

Proceedings of the 29th Asia and South Pacific Design Automation Conference, 2024

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