Ryotaro Banno

According to our database, Ryotaro Banno authored at least 4 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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