"Practice of cryptographic education using formal security verification tools and the issues of e-Learning teaching materials ." J-STAGE 37, no. 1 (2020).