Practice of cryptographic education using formal security verification tools and the issues of e-Learning teaching materials Publication Type: Journal Article Authors: Hiroyuki Okazaki; Shogo Shimura; Ki Miyamoto; Ki Watanabe; Yuichi Fuda; Yasuyuki Murakami Source: J-STAGE, Volume 37, Issue 1 (2020)
