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)
Share/Save