Results 31 to 40 of about 232,310 (307)
Ethereum Smart Contract Analysis Tools: A Systematic Review
IEEE Access, 2022 Blockchain technology and its applications are gaining popularity day by day. It is a ground-breaking technology that allows users to communicate without the need of a trusted middleman.
Satpal Singh Kushwaha +4 more
doaj +1 more source
Smart Contract Interactions in Coq [PDF]
, 2020 We present a model/executable specification of smart contract execution in Coq. Our formalization allows for inter-contract communication and generalizes existing work by allowing modelling of both depth-first execution blockchains (like Ethereum) and breadth-first execution blockchains (like Tezos).
Jakob Botsch Nielsen, Bas Spitters
openaire +3 more sources
A Concurrent Perspective on Smart Contracts [PDF]
, 2017 In this paper, we explore remarkable similarities between multi-transactional behaviors of smart contracts in cryptocurrencies such as Ethereum and classical problems of shared-memory concurrency.
Hobor, Aquinas, Sergey, Ilya
core +2 more sources
The Legal Regime of Smart Contracts in Public Procurement
Transylvanian Review of Administrative Sciences, 2022 This article attempts to critically review the applications of smart contracts in public procurement. The literature on the topic is characterized by an emphasis on potential advantages and uses of this emerging technology, while it lacks in the ...
Nadia-Ariadna Sava, Dacian Dragoș
doaj +1 more source
Termination of Ethereum’s Smart Contracts
Proceedings of the 17th International Joint Conference on e-Business and Telecommunications, 2020 Ethereum is a decentralized blockchain technology equipped with so-called Smart Contracts. Acontract is a program whose code is public, which can be triggered by any user, and whose actualexecution is performed by miners participating in Ethereum. Miners execute the contract on theEthereum Virtual Machine (EVM) and apply its effect by adding new blocks
Genet, Thomas +2 more
openaire +3 more sources
, 2020 Security attacks targeting smart contracts have been on the rise, which have led to financial loss and erosion of trust. Therefore, it is important to enable developers to discover security vulnerabilities in smart contracts before deployment.
Akca Sefa +9 more
core +1 more source
GeoCoin:supporting ideation and collaborative design with location-based smart contracts [PDF]
, 2018 Design and HCI researchers are increasingly working with complex digital infrastructures, such as cryptocurrencies, distributed ledgers and smart contracts. These technologies will have a profound impact on digital systems and their audiences.
Mehrpouya, Hadi +5 more
core +2 more sources
Legal and Regulatory Aspects of Smart Contracts: A Systematic Review
Eurasian Journal of Management & Social Sciences, 2023 As one of the fundamental technologies of blockchain, smart contracts have become one of popular and indispensable for certain businesses. Smart contracts have been introduced by Nick Szabo in 1997.
Omar Farouk Al Mashhour +2 more
doaj +1 more source
Analysis of smart contracts balances
Blockchain: Research and Applications, 2021 We define a technique for analyzing updates of smart contracts balances due to transfers of digital assets. The analysis addresses a lightweight smart contract language and consists of a two-step translation. First, we define the input-output behaviors of smart contract functions by means of a simple functional language with static dispatch.
Cosimo Laneve, Claudio Sacerdoti Coen
openaire +3 more sources
The International Journal of Digital Accounting Research, 2018 Los contratos inteligentes que usan el blockchain están emergiendo como una fuerza disruptiva que pude cambiar la manera en que se llevan a cabo y se entregan las auditorías de estados financieros. Con su habilidad potencial de ejecutar procedimientos de auditoría para el auditor de forma autónoma y divulgar los resultados de estos procedimientos, los ...
Rozairo, Andrea M., Vasarhely, Miklos A.
openaire +3 more sources