Results 31 to 40 of about 19,667 (260)
Translation certification for smart contracts
Science of Computer Programming, 2022 Compiler correctness is an old problem, but with the emergence of smart contracts on blockchains that problem presents itself in a new light. Smart contracts are self-contained pieces of software that control assets, which are often of high financial value, in an adversarial environment and, once committed to the blockchain, they cannot be changed ...
Jacco O. G. Krijnen +3 more
openaire +9 more sources
Design and implementation of a smart-contract voting system based on zero-knowledge proof
工程科学学报, 2023 As a legally binding computer program, smart contracts are stored on the blockchain and can be automatically executed according to the contract terms.
Hong-jian YIN +4 more
doaj +1 more source
IEEE Access, 2022 A smart contract is a computer program which is automatically executed with some conditional statements such as “if/then”. Since smart contracts can include some vulnerable program codes, smart contract exploit was recently highlighted as ...
Seon-Jin Hwang +3 more
doaj +1 more source
The Timing of Smart Contract Formation from the Perspective of Iranian, English, and American Law [PDF]
پژوهش تطبیقی حقوق اسلام و غرب, 2023 In order to determine the timing of smart contract formation, which is considered a type of electronic contract, the authors initially examine the viewpoint of traditional contract law.
MirHossein Abedian Kalkhoran +1 more
doaj +1 more source
Smart Contract: Attacks and Protections
IEEE Access, 2020 Smart contracts are programs that reside within decentralized blockchains and are executed pursuant to triggered instructions. A smart contract acts in a similar way to a traditional agreement but negates the necessity for the involvement of a third ...
Sarwar Sayeed +2 more
doaj +1 more source
The Design and Implementation of a Secure Datastore Based on Ethereum Smart Contract
Applied Sciences, 2023 In this paper, we present a secure datastore based on an Ethereum smart contract. Our research is guided by three research questions. First, we will explore to what extend a smart-contract-based datastore should resemble a traditional database system ...
Izdehar M. Aldyaflah +3 more
doaj +1 more source
SmartCon: A Blockchain-Based Framework for Smart Contracts and Transaction Management
IEEE Access, 2022 A smart contract is known to be useful for automating business processes triggered by specific events caused by IoT sensors, data feeds, or other applications.
Muhammad Muneeb +3 more
doaj +1 more source
Development of The Statement of Will and Its Validity in Smart Contract
Jurnal Penelitian Hukum De JureThe development of Smart Contract in this regard can be attributed to the stability of Indonesian law, where methods for executing contracts have become increasingly sophisticated.
Ariyanto Ariyanto
doaj +1 more source
On the Practicality of a Smart Contract PKI [PDF]
2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON), 2019 Public key infrastructures (PKIs) are one of the main building blocks for securing communications over the Internet. Currently, PKIs are under the control of centralized authorities, which is problematic as evidenced by numerous incidents where they have been compromised.
Christos Patsonakis +3 more
openaire +3 more sources
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019 In recent years, smart contracts have suffered major exploits, losing millions of dollars. Unlike traditional programs, smart contracts cannot be updated once deployed. Though various tools were pro-posed to detect vulnerable smart contracts, they all fail to protect contracts that have already been deployed on the blockchain.
Christof Ferreira Torres +3 more
openaire +3 more sources