Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using CSP.

Yingjia Du, Yuan Fei, Sini Chen, Huibiao Zhu

Browse the full SEKE paper archive.