Kota Sugimoto

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Formal Analysis

Privacy Preserving

Top Venues

Publications

Kota Sugimoto, Takeshi Nakai, Yohei Watanabe, Mitsugu Iwamoto
The Two Sheriffs Problem: Cryptographic Formalization and Generalization. COCOA (1) (2023)