Results 1 to 10 of about 237,517 (187)
A True Concurrent Model of Smart Contracts Executions [PDF]
Coordination Models and Languages22nd IFIP WG 6.1 International Conference, 2020 The development of blockchain technologies has enabled the trustless execution of so-called smart contracts, i.e. programs that regulate the exchange of assets (e.g., cryptocurrency) between users.
Bartoletti M, Galletta L, Murgia M.
europepmc +4 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
, 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
An empirical analysis of smart contracts: platforms, applications, and design patterns
, 2017 Smart contracts are computer programs that can be consistently executed by a network of mutually distrusting nodes, without the arbitration of a trusted authority. Because of their resilience to tampering, smart contracts are appealing in many scenarios,
B Marino +10 more
core +1 more source
EASYFLOW: Keep Ethereum Away From Overflow
, 2019 While Ethereum smart contracts enabled a wide range of blockchain applications, they are extremely vulnerable to different forms of security attacks.
Chen, Zhong +5 more
core +1 more source
A Semantic Framework for the Security Analysis of Ethereum smart contracts
, 2018 Smart contracts are programs running on cryptocurrency (e.g., Ethereum) blockchains, whose popularity stem from the possibility to perform financial transactions, such as payments and auctions, in a distributed environment without need for any trusted ...
A Biryukov +6 more
core +2 more sources
Towards Smart Hybrid Fuzzing for Smart Contracts [PDF]
, 2020 Smart contracts are Turing-complete programs that are executed across a blockchain network. Unlike traditional programs, once deployed they cannot be modified.
Gervais, Arthur +3 more
core +2 more sources
Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach
, 2017 The adoption of blockchain-based distributed computation platforms is growing fast. Some of these platforms, such as Ethereum, provide support for implementing smart contracts, which are envisioned to have novel applications in a broad range of areas ...
A Mavridou +8 more
core +1 more source
The Art of The Scam: Demystifying Honeypots in Ethereum Smart Contracts [PDF]
, 2019 Modern blockchains, such as Ethereum, enable the execution of so-called smart contracts - programs that are executed across a decentralised network of nodes.
State, Radu +2 more
core +1 more source