Corso G. Garibaldi 66, 61029, Urbino, IT

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

Paper presented at ITASEC 2020.

Authors: Giorgia Remedi, Alessandro Aldini, Alessandro Bogliolo, Saverio Delpriori, Lorenz Cuno Klopfenstein.

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.

Source code

Source code with ProVerif models used for verification of the WOM communication protocols:
https://github.com/WOM-Platform/protocol-modeling-and-verification.

WOM Platform implementations
Registry (.NET/C#): https://github.com/WOM-Platform/Registry
Pocket application (Dart): https://github.com/WOM-Platform/Pocket
Instrument application (Dart): https://github.com/WOM-Platform/Instrument
POS application (Dart): https://github.com/WOM-Platform/POS
Generic connector (.NET/C#): https://github.com/WOM-Platform/.NET-Connector