Program

Accepted Papers:

• Yasuhiko Ikematsu and Rika Akiyama. Revisiting the security analysis of SNOVA

• Takumi Matsuura, Keisuke Hara and Kyosuke Yamashita. Designated Verifier Signature with Repudiability

• Yoshihiro Takahashi, Kazumasa Shinagawa, Hayato Shikata and Takaaki Mizuki. Efficient Card-Based Protocols for Symmetric Functions Using Four-Colored Decks

• Takumu Mita and Kazuki Yoneyama. Tightly Secure ID-based Authenticated Key Exchange

• Kazuhiro Fujita and Kazuki Yoneyama. Formal Verification of Wireless Charging Standard Qi

• Yuma Tamura, Akira Suzuki and Takaaki Mizuki. Card-Based Zero-Knowledge Proof Protocols for the 15-Puzzle and the Token Swapping Problem