Login / Signup
Ryoga Noguchi
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 2
Top Topics
Evolutionary Algorithm
Information Retrieval
Wireless Lan
High Security
Top Venues
IEICE Trans. Inf. Syst.
APKC@AsiaCCS
</>
Publications
</>
Ryoga Noguchi
,
Yoshikazu Hanatani
,
Kazuki Yoneyama
Verification of Group Key Management of IEEE 802.21 Using ProVerif.
IEICE Trans. Inf. Syst.
(10) (2021)
Ryoga Noguchi
,
Yoshikazu Hanatani
,
Kazuki Yoneyama
Verification of Group Key Management of IEEE 802.21 using ProVerif.
APKC@AsiaCCS
(2020)