@article{21857,
  author = {Hiroyuki Okazaki and Shogo Shimura and Ki Miyamoto and Ki Watanabe and Yuichi Fuda and Yasuyuki Murakami},
  title = {Practice of cryptographic education using formal security verification tools and the issues of e-Learning teaching materials },
  year = {2020},
  journal = {J-STAGE},
  volume = {37},
  language = {eng},
}