伴野 良太郎
Japanese version.
He is a software engineer working for Cybozu, Inc. in Tokyo, Japan . He received his B.Eng. and M.C.S. from Kyoto University in 2021, 2023, respectively. His current interest includes formal verification, runtime verification, and homomorphic encryption.
In The MITOU Program in fiscal year 2019, held by Information-technology Promotion Agency, Japan, he and his co-workers proposed and implemented Virtual Secure Platform , which allows one to execute encrypted C programs without decryption via fully homomorphic encryption. By his contribution, he was awarded as a “super creator,” or an expert engineer, of The MITOU Program.
伴野 良太郎