Keyword:smart contracts

Papers
Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification Petra Hozzová, Jaroslav Bendík, Alexander Nutz and Yoav Rodeh In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Smart Contracts for Creating an Accountable and Transparent Transactions to Reduce Corruption Darusalam Darusalam, Marijn Janssen, Jamaliah Said, Normah Omar and Muhammad Indra Saputra EasyChair Preprint no. 9602
HealthCare Management System Using Blockchain Arockia A Abins, Praghadiesh Saravanan, Mohamed Rafi and Patrick M Christopher EasyChair Preprint no. 9463
Coding Your Crypto with Ethereum K Kiruba and R Selvaganapathy EasyChair Preprint no. 8255
Blockchain Based Covid – 19 Trusted Tracking System Kumar Satyam and G Vishnu EasyChair Preprint no. 7991
Voting System Based on Blockchain Technology Bhimesh Patil, Darshanesh Naringrekar and Pushpa Mahapatro EasyChair Preprint no. 7724
DSRBT - Driving Safety Reward based on Blockchain Technology Sruthi Rachamalla and Henry Hexmoor In:Proceedings of 37th International Conference on Computers and Their Applications
Security Vulnerabilities of Blockchain-Based Smart Contracts and Countermeasures: a Survey Epherem Merete Sifra and Gaofei Wu EasyChair Preprint no. 6761
Integration of Blockchain and Emergent Digital Technologies in the Construction Industry and the Future of Infrastructure Projects Shaik Ruhi Sameeha EasyChair Preprint no. 6351
On Intellectual Property in Online Open Innovation for SME by Means of Blockchain and Smartcontracts Josep Lluis de la Rosa Esteva, Denisa Gibovic, Victor Torres-Padrosa, Lutz Maicher, Francesc Miralles, Andres El-Fakdi and Andrea Bikfalvi EasyChair Preprint no. 6181
PR Wallet Based Blockchain Access Protocol to Secure EHRs Mehul Gupta EasyChair Preprint no. 5555
An Exploratory Study on Self-Sovereign Identity Powered by the Blockchain Technology M G Shashank, V Sangeetha and H Shilpa EasyChair Preprint no. 5484
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