Ryotaro Banno

According to our database, Ryotaro Banno authored at least 5 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• 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

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

Verification of a Merkle Patricia Tree Library Using F.

Sota Sato, Ryotaro Banno, Jun Furuse, Kohei Suenaga, Atsushi Igarashi

CoRR, 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

2019

Implicit Regularization in Over-parameterized Neural Networks.

Masayoshi Kubo, Ryotaro Banno, Hidetaka Manabe, Masataka Minoji

CoRR, 2019