Anca Delia Jurcut, Madhusanka Liyanage, Jinyong Chen, Cornelia Györödi, Jingsha He. On the security verification of a short message service protocol. In 2018 IEEE Wireless Communications and Networking Conference, WCNC 2018, Barcelona, Spain, April 15-18, 2018. pages 1-6, IEEE, 2018. [doi]