Towards Better Standard Cell Library: Optimizing Compound Logic Gates for TFHE. - Kotaro Matsuoka; Yusuke Hoshizuki; Takashi Sato 001; Song Bian 001 (WAHC@CCS, 2021)

Virtual Secure Platform: A Five-Stage Pipeline Processor over TFHE. - Kotaro Matsuoka; Ryotaro Banno; Naoki Matsumoto; Takashi Sato 001; Song Bian 001 (USENIX Security Symposium, 2021)

Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption. - Ryotaro Banno; Kotaro Matsuoka; Naoki Matsumoto; Song Bian 001; Masaki Waga; Kohei Suenaga (CAV (1), 2022)

HOGE: Homomorphic Gate on An FPGA. - Kotaro Matsuoka; Song Bian 001; Takashi Sato 001 (ASPDAC, 2024)

Logic Locking over TFHE for Securing User Data and Algorithms. - Kohei Suemitsu; Kotaro Matsuoka; Takashi Sato 001; Masanori Hashimoto (ASPDAC, 2024)

Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption. - Masaki Waga; Kotaro Matsuoka; Takashi Suwa; Naoki Matsumoto; Ryotaro Banno; Song Bian 001; Kohei Suenaga (RV, 2024)