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.
Modeling and Verification of the Worth-One-Minute Security Protocols
Giorgia Remedi;Alessandro Aldini
;Alessandro Bogliolo;Saverio Delpriori;Lorenz Cuno Klopfenstein
2020
Abstract
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
