Results 61 to 70 of about 1,554,184 (382)
sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts [PDF]
Smart contracts are Turing-complete programs that execute on the infrastructure of the blockchain, which often manage valuable digital assets. Solidity is one of the most popular programming languages for writing smart contracts on the Ethereum platform.
T. D. Nguyen+4 more
semanticscholar +1 more source
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
The development of digital transformation in the construction industry has led to the increasing adoption of smart contracts. As programmable applications to automatically write, verify, and enforce transaction conditions, smart contracts can be used in ...
X. Ye, N. Zeng, M. König
semanticscholar +1 more source
A Concurrent Perspective on Smart Contracts [PDF]
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
Probabilistic Framework For Loss Distribution Of Smart Contract Risk [PDF]
Smart contract risk can be defined as a financial risk of loss due to cyber attacks on or contagious failures of smart contracts. Its quantification is of paramount importance to technology platform providers as well as companies and individuals when considering the deployment of this new technology. That is why, as our primary contribution, we propose
arxiv
Reconfigurable Smart Contracts for Renewable Energy Exchange with Re-Use of Verification Rules
Smart contracts constitute the foundation for blockchain distributed applications. These constructs enable transactions in trustless environments using consensus algorithms and software-controlled verification rules.
T. Górski
semanticscholar +1 more source
GeoCoin:supporting ideation and collaborative design with location-based smart contracts [PDF]
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
SMART CONTRACTS: SECURITY ISSUES AND FURTHER DEVELOPMENT IN BRAZIL
This study aims to describe how smart contracts are made and the legal certainty of using them on business contracts. For this, the study concepted the smart contract, as well its characteristics and the difference between smart contract and e-contract.
Luane Silva Nascimento+1 more
doaj +1 more source
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
Energy is a crucial need in today's world for powering homes, businesses, transportation, and industrial processes. Fossil fuels, such as oil, coal, and natural gas, have been the primary sources of energy for decades.
Muhammad Faheem+4 more
semanticscholar +1 more source