English
Related papers

Related papers: Blockchain-based Smart Contracts - Applications an…

200 papers

Nowadays, sophisticated domains are emerging which require appropriate formalisms to be specified accurately in order to reason about them. One such domain is constituted of smart contracts that have emerged in cyber physical systems as a…

Logic in Computer Science · Computer Science 2025-02-14 Kalonji Kalala

Innovation in the world of today is mainly driven by software. Companies need to continuously rejuvenate their product portfolios with new features to stay ahead of their competitors. For example, recent trends explore the application of…

Software Engineering · Computer Science 2018-09-25 Christian Berger , Birgit Penzenstadler , Olaf Drögehorn

The cybersecurity of modern systems has dramatically increased attention from both industrial and academia perspectives. In the recent era, the popularity of the blockchain-based system has traditionally been emergent among various…

Cryptography and Security · Computer Science 2022-09-13 Abdul Khalique Shaikh A. K. Al-Alawi , L. R. , Al-Busaidi , R. , Shaikh

The confluence of Internet of Things(IoT) , Blockchain(BC) and Artificial Intelligence(AI) acts as a key accelerator for enabling Machine Economy. To be ready for future businesses these technologies needs to be adapted by extending the IoT…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-03-02 Misha Abraham , Himajit Aithal , Krishnan Mohan

Chainspace is a decentralized infrastructure, known as a distributed ledger, that supports user defined smart contracts and executes user-supplied transactions on their objects. The correct execution of smart contract transactions is…

Cryptography and Security · Computer Science 2017-08-15 Mustafa Al-Bassam , Alberto Sonnino , Shehar Bano , Dave Hrycyszyn , George Danezis

Blockchain has been praised for its capacity to hold data in a decentralized and tamper-proof way. It also supports the execution of code through blockchain's smart contracts, adding automation of actions to the network with high…

Cryptography and Security · Computer Science 2021-01-25 Nicolas Six , Claudia Negri Ribalta , Nicolas Herbaut , Camille Salinesi

Blockchain, Smart Contracts and Distributed Ledger Technology (DLT) are being touted to revolutionise digital services - through decentralisation. Cryptocurrencies, self-sovereign identities, decentralised certificate registries, and…

Computers and Society · Computer Science 2019-11-01 Joshua Ellul , Gordon Pace

Construction project governance relies on agreements between the actors along the construction industry value chain. The mutual obligations arising from these contracts rely on timely monetary transactions. Despite the advantages of…

With the rise in using immature smart contract programming languages to build a decentralized application, more vulnerabilities have been introduced to the Blockchain and were the main reasons behind critical financial losses. Moreover, the…

Cryptography and Security · Computer Science 2023-12-04 Oualid Zaazaa , Hanan El Bakkali

Smart contracts, integral to blockchain ecosystems, enable decentralized applications to execute predefined operations without intermediaries. Their ability to enforce trustless interactions has made them a core component of platforms such…

Cryptography and Security · Computer Science 2025-06-10 Mesut Ozdag

The agricultural sector is still lagging behind from all other sectors in terms of using the newest technologies. For production, the latest machines are being introduced and adopted. However, pre-harvest and post-harvest processing are…

Computers and Society · Computer Science 2021-04-02 Tahmid Hasan Pranto , Abdulla All Noman , Atik Mahmud , AKM Bahalul Haque

Blockchains have received much attention recently since they provide decentralized approaches to the creation and management of value. Many banks, Internet companies, car manufacturers, and even governments worldwide have incorporated or…

Cryptography and Security · Computer Science 2019-11-07 Wubing Chen , Zhiying Xu , Shuyu Shi , Yang Zhao , Jun Zhao

The main problem faced by smart contract platforms is the amount of time and computational power required to reach consensus. In a classical blockchain model, each operation is in fact performed by each node, both to update the status and…

Cryptography and Security · Computer Science 2021-11-11 Alessio Meneghetti , Tommaso Parise , Massimiliano Sala , Daniele Taufer

Currently, there is no universal method to track who shared what, with whom, when and for what purposes in a verifiable way to create an individual incentive for data owners. A platform that allows data owners to control, delete, and get…

Cryptography and Security · Computer Science 2025-10-29 Ajay Kumar Shrestha , Julita Vassileva

Blockchains and smart contracts are an emerging, promising technology, that has received considerable attention. We use the blockchain technology, and in particular Ethereum, to implement a large-scale event-based Internet of Things (IoT)…

Cryptography and Security · Computer Science 2019-07-10 Nikos Fotiou , Iakovos Pittaras , Vasilios A. Siris , Spyros Voulgaris , George C. Polyzos

Blockchain is a decentralized, distributed ledger technology that ensures transparency, security, and immutability through cryptographic techniques. However, advancements in quantum computing threaten the security of classical cryptographic…

Cryptography and Security · Computer Science 2026-01-14 Nicholas J. C. Papadopoulos

Smart contracts are programs running on a blockchain. They are immutable to change, and hence can not be patched for bugs once deployed. Thus it is critical to ensure they are bug-free and well-designed before deployment. A Contract defect…

Software Engineering · Computer Science 2020-04-20 Jiachi Chen , Xin Xia , David Lo , John Grundy , Daniel Xiapu Luo , Ting Chen

Smart Contract Templates support legally-enforceable smart contracts, using operational parameters to connect legal agreements to standardised code. In this paper, we explore the design landscape of potential formats for storage and…

Computers and Society · Computer Science 2016-12-16 Christopher D. Clack , Vikram A. Bakshi , Lee Braine

Blockchain technology has emerged as a transformative paradigm for decentralized and secure data management across diverse application domains, including healthcare, supply chain management, and the Internet of Things. Its core features,…

Cryptography and Security · Computer Science 2025-05-14 Hojer Key

As more and more data is collected for various reasons, the sharing of such data becomes paramount to increasing its value. Many applications ranging from smart cities to personalized health care require individuals and organizations to…

Computers and Society · Computer Science 2018-05-01 Kevin Liu , Harsh Desai , Lalana Kagal , Murat Kantarcioglu