Inferring Implicit Assumptions and Correct Usage of Mobile Payment Protocols.

Quanqi Ye, Guangdong Bai, Naipeng Dong, Jin Song Dong

Browse the full SecureComm paper archive.