Back to Profiles Hidetoshi Masai Verified Computation, Tokyo Institute of Technology Enter full researcher biography here Share article: