Symbolic Analysis for Security of Roaming Protocols in Mobile Networks - [Extended Abstract]. - Chunyu Tang; David A. Naumann; Susanne Wetzel (SecureComm, 2011)

Analysis of authentication and key establishment in inter-generational mobile telephony. - Chunyu Tang; David A. Naumann; Susanne Wetzel (IACR Cryptol. ePrint Arch., 2013)