Card-Based ZKP Protocols for Takuzu and Juosan. - Daiki Miyahara; Léo Robert; Pascal Lafourcade 001; So Takeshige; Takaaki Mizuki; Kazumasa Shinagawa; Atsuki Nagao; Hideaki Sone (FUN, 2021)