Ryotaro Banno

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 7

Top Topics

Projection Operator

Parallel Architecture

Homomorphic Encryption

Top Venues

USENIX Security Symposium

Publications

Masaki Waga, Kotaro Matsuoka, Takashi Suwa, Naoki Matsumoto, Ryotaro Banno, Song Bian, Kohei Suenaga
Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption. CoRR (2024)
Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki Waga, Kohei Suenaga
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption. CoRR (2022)
Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki Waga, Kohei Suenaga
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption. CAV (1) (2022)
Sota Sato, Ryotaro Banno, Jun Furuse, Kohei Suenaga, Atsushi Igarashi
Verification of a Merkle Patricia Tree Library Using F. CoRR (2021)
Kotaro Matsuoka, Ryotaro Banno, Naoki Matsumoto, Takashi Sato, Song Bian
Virtual Secure Platform: A Five-Stage Pipeline Processor over TFHE. USENIX Security Symposium (2021)
Kotaro Matsuoka, Ryotaro Banno, Naoki Matsumoto, Takashi Sato, Song Bian
Virtual Secure Platform: A Five-Stage Pipeline Processor over TFHE. CoRR (2020)
Masayoshi Kubo, Ryotaro Banno, Hidetaka Manabe, Masataka Minoji
Implicit Regularization in Over-parameterized Neural Networks. CoRR (2019)