Okazaki, Hiroyuki, Shogo Shimura, Ki Miyamoto, Ki Watanabe, Yuichi Fuda, and Yasuyuki Murakami. "Practice of cryptographic education using formal security verification tools and the issues of e-Learning teaching materials ." J-STAGE 37, no. 1 (2020).