Practice of cryptographic education using formal security verification tools and the issues of e-Learning teaching materials

Вид публикации:

Journal Article

Авторы:

Hiroyuki Okazaki; Shogo Shimura; Ki Miyamoto; Ki Watanabe; Yuichi Fuda; Yasuyuki Murakami

Источник:

J-STAGE, Volume 37, № 1 (2020)
Share/Save