Profile of Kotaro MATSUOKA (@nindanaoto)

This page is the profile of Kotaro MATSUOKA.

NAME: Kotaro MATSUOKA (松岡航太郎, in Japanese, Family name comes first.)

Degree: Doctor of Informatics from Kyoto University

Current affiliation: Assistant Professor, Integrated Systems Engineering Laboratory, Course of Communications and Computer Engineering, Department of Informatics, Graduate School of Informatics, Kyoto University

Current affiliation (in Japanes): 京都大学大学院情報学研究科情報学専攻通信情報システムコース集積システム工学講座情報回路アーキテクチャ分野助教

Lab's website: https://vlsi.cce.i.kyoto-u.ac.jp/

Twitter: @nimdanaoto

GitHub: nindanaoto

Qiita: @nindanaoto

Researchmap: https://researchmap.jp/nindanaoto

E-mail (personal): [email protected]

E-mail (official): [email protected]

CV pdf file when I was a second year Ph.D studnt

Slide hosting site (Most of them are in Japanese.)

List of Publications

Kotaro Matsuoka & Takashi Sato. (2026). YATA: Yet Another TFHE Accelerator with Key Compression and Radix-8 NTT.
- Published in IACR Transactions on Cryptographic Hardware and Embedded Systems, Vol. 2026, No. 1
- Paper (DOI)
Kotaro Matsuoka, Ryotaro Banno, Naoki Matsumoto, Takashi Sato, & Song Bian. (2020). Virtual Secure Platform: A Five-Stage Pipeline Processor over TFHE.
- Accepted in 30th USENIX Security Symposium
- Implementation on GitHub
Kotaro Matsuoka, Yusuke Hoshizuki, & Takashi Sato. (2026). Multiplicative Integer Division over Integer-wise TFHE.
- Published in IACR Transactions on Cryptographic Hardware and Embedded Systems, Vol. 2026, No. 4
- Paper (PDF)
Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki Waga, & Kohei Suenaga. (2022). Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption.
- Accepted in CAV 2022
- Open access conference paper (SpringerLink)
- Full version: arXiv and lab
- Slides (Speaker Deck)
Kotaro Matsuoka, Yusuke Hoshizuki, Takashi Sato, & Song Bian. (2021) Towards Better Standard Cell Library: Optimizing Compound Logic Gates for TFHE.
- Accepted in WAHC'21
Kotaro Matsuoka, Song Bian, & Takashi Sato. (2024). HOGE: Homomorphic Gate on An FPGA*.
Kohei Suemitsu, Kotaro Matsuoka, Takashi Sato, & Masanori Hashimoto. (2024). Logic Locking over TFHE for Securing User Data and Algorithms.
- Accepted in 2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC)
- Paper (IEEE Xplore)
Masaki Waga, Kotaro Matsuoka, Takashi Suwa, Naoki Matsumoto, Ryotaro Banno, Song Bian, & Kohei Suenaga. (2025). Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption.
- Accepted in Runtime Verification 2025 (RV'25)
- Paper (SpringerLink)
Kotaro Matsuoka, Yasutomo Yushima, Ryo Hayakawa, Riho Kawasaki, Kazunori Hayashi, & Megumi Kaneko. (2016). An RFID tag identification protocol via Boolean compressed sensing.
- Published in IEICE Communications Express, Vol. 5, No. 5, pp. 118-123.
- Paper (J-STAGE)

List of programs

TFHEpp : The C++ implementation of TFHE.

Sudachi : Logic circuit evaluation engine based on Taskflow.

HOGE : FPGA Accelerator for TFHE.

YATA : ASIC Accelerator for TFHE.

Patents

PGP public key (Until 2031-09-25)

PGP public key (Expired at 2026-09-20)

Under construction......