Masahisa Shimano, Kazuo Sakiyama, and Daiki Miyaha, “Towards Verifying Physical Assumption in Card-Based Cryptography,” In Proc. International Conference on Security for Information Technology and Communications (SecITC’22), LNCS 13809, Springer-Verlag, pp.289–305 (May, 2023).