Skip to main content
5
Views
Reviewed article

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

How to cite:
Hiroyuki Okazaki, Shogo Shimura, Ki Miyamoto, Ki Watanabe, Yuichi Fuda, 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):