Skip to content

Verification of Group Key Management of IEEE 802.21 using ProVerif.

Ryoga Noguchi, Yoshikazu Hanatani, Kazuki Yoneyama

VenueA*CCS
Year2020
ProceedingsAPKC@AsiaCCS

Browse the full CCS paper archive.