Modeling and Verification of the Worth-One-Minute Security Protocols

Worth One Minute (WOM) is a general-purpose rewarding system based on the exchange of anonymous vouchers. It is designed to support crowd-sensing applications that rely on the willingness of users to participate and invest in common causes. The platform rewards the effort of users toward such causes, thus triggering virtuous circles contributing to the expected social value. The system’s reliability depends on the security conditions of the voucher issuing and spending processes. These processes are based on two cryptographic protocols, which are discussed in this paper and formally validated through the automated verification tool ProVerif