Implicit Regularization in Over-parameterized Neural Networks. - Masayoshi Kubo; Ryotaro Banno; Hidetaka Manabe; Masataka Minoji (CoRR, 2019)

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)

Verification of a Merkle Patricia Tree Library Using F. - Sota Sato 002; Ryotaro Banno; Jun Furuse; Kohei Suenaga; Atsushi Igarashi (CoRR, 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)

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)