Program
14:00–14:05:
Welcome
Session 1: Card-Based Cryptography and Formal Verification
Session Chair: Kyosuke Yamashita
14:05–14:30:
Efficient Card-Based Protocols for Symmetric Functions Using Four-Colored Decks
Yoshihiro Takahashi, Kazumasa Shinagawa, Hayato Shikata and Takaaki Mizuki
14:30–14:55:
Card-Based Zero-Knowledge Proof Protocols for the 15-Puzzle and the Token Swapping Problem
Yuma Tamura, Akira Suzuki and Takaaki Mizuki
14:55–15:20:
Formal Verification of Wireless Charging Standard Qi
Kazuhiro Fujita and Kazuki Yoneyama
15:20–15:40:
Coffee Break
Session 2: Public-Key Cryptographic Primitives
Session Chair: Takaaki Mizuki
15:40–16:05:
Designated Verifier Signature with Repudiability
Takumi Matsuura, Keisuke Hara and Kyosuke Yamashita
16:05–16:30:
Tightly Secure ID-based Authenticated Key Exchange
Takumu Mita and Kazuki Yoneyama
16:30–16:55:
Revisiting the security analysis of SNOVA
Yasuhiko Ikematsu and Rika Akiyama
16:55–17:00:
Closing Remarks