ProVerif Model of the Robust Multiple IMSI Scheme

Mohammed Khan

Research output: Chapter in Book/Report/Conference proceedingOther contribution

52 Downloads (Pure)
Original languageEnglish
Title of host publicationSupplementary files for paper published in WiSec 2017
Publication statusUnpublished - May 2017

Cite this