Keyword:smart contracts

Papers
SPrune: A Code Pruning Tool for Ethereum Solidity Contract Static Analysis Zihan Zhou, Yan Xiong, Wenchao Huang and Lu Ma EasyChair Preprint no. 3332
A Blockchain and Smart Contract-Based Framework to Increase Traceability of Built Assets Jennifer Li, Mohamad Kassem and Richard Watson EasyChair Preprint no. 3158
A novel Integrated strict verification of smart contracts on Blockchain B. Aarthi, Rahul Kumar, Abhishek and Rahul Kumar EasyChair Preprint no. 2943
Mining Blockchain Processes: Extracting Process Mining Data from Blockchain Applications Christopher Klinkmüller, Alexander Ponomarev, An Binh Tran, Ingo Weber and Wil M.P. van der Aalst EasyChair Preprint no. 1356
CarParker: A Blockchain-Based PrivacyPreserving and Accident-Proof-Preserving Private Parking Space Sharing System Youshui Lu, Pengrui Yao, Xinpei Dong and Yong Qi EasyChair Preprint no. 395