Awards and Honors ISEC研究会活動貢献感謝状 Awardee(s) 杉本 航太, 中井 雄士, 渡邉 洋平, 岩本 貢 For The Two Sheriffs Problem: Cryptographic Formalization and Generalization (from COCOA 2023) Date Received 2025/5/22