Vulnerable Smart Contract Detection by means of Model Checking
Giuseppe Crincoli, Giacomo Iadarola, Piera Elena La Rocca: IIT-CNR, Fabio Martinelli, Francesco Mercaldo and Antonella Santone
Towards an Evaluation Metric for Carbon-Emitting Energy Provenance of Bitcoin Transactions
Tony Mullen, Peter Finn and Jonathan Kochmer
T-Tracer: A Blockchain-Aided Symbol Mapping Watermarking Scheme for Traitor Tracing in Non-Repudiation Data Delivery
Liang Wang, Jun Li, Lina Zuo, Yu Wen, Haibo Liu and Wenyuan Liu
Economic Analysis of Loot Box Market in Blockchain Games
Yu Jiang, Sizheng Fan and Wei Cai
DeDa: A DeFi-enabled Data Sharing and Trading System
Minfeng Qi, Zhiyu Xu, Ziyuan Wang, Shiping Chen, Yang Xiang
Economic Analysis of Decentralized Exchange Market with Transaction Fee Mining
Hongbo Zhang, Sizheng Fan, Zhixuan Fang and Wei Cai
Blockchain-based Remote Human’s Health and Activities Monitoring
Meiquan Wang, Huiru Zhang, Haoyang Wu, Guangshun Li and Keke Gai
Competitive Decentralized Randomness Beacon Protocols
Mayank Raikwar
ScaleSFL: A Sharding Solution for Blockchain-Based Federated Learning
Evan Madill, Ben Nguyen and Sara Rouhani
Blockchain-based Reputation Evaluation Using Game Theory in Social Networking
Wenjie Guo
Mitigating Frontrunning Attacks in Ethereum
Maddipati Varun, Balaji Palanisamy and Shamik Sural
GasSaver: A Tool for Solidity Smart Contract Optimization
Quang-Thang Nguyen, Bao Son Do, Thi Tam Nguyen and Ba-Lam Do
Achieving Secure and Efficient P2P Data Trading based on Blockchain for Internet of Things
Ningyu An, Xiao Liang, Xiaokun Zheng, Shuai Yuan, Xiaodong Wang and Zhitao Guan
Real Estate Tokenisation via Non Fungible Tokens
Will Serrano (withdrawn)
Design of public voluntary carbon market mechanism based on crosschain and token economics
Dongsheng Hou, Yukun Hao and Yu Du