Quanqi Ye, Guangdong Bai, Naipeng Dong, Jin Song Dong. Inferring Implicit Assumptions and Correct Usage of Mobile Payment Protocols. In Xiaodong Lin, Ali Ghorbani, Kui Ren 0001, Sencun Zhu, Aiqing Zhang, editors, Security and Privacy in Communication Networks - 13th International Conference, SecureComm 2017, Niagara Falls, ON, Canada, October 22-25, 2017, Proceedings. Volume 238 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 469-488, Springer, 2017. [doi]