Results 41 to 50 of about 1,358,296 (285)
SoK: TEE-assisted Confidential Smart Contract [PDF]
Proceedings on Privacy Enhancing Technologies, 2022 The blockchain-based smart contract lacks privacy, since the contract state and instruction code are exposed to the public. Combining smart-contract execution with Trusted Execution Environments provides an efficient solution, called TEE-assisted smart ...
Rujia Li +4 more
semanticscholar +1 more source
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
semanticscholar +1 more source
Smart Contract Vulnerability Detection: From Pure Neural Network to Interpretable Graph Feature and Expert Pattern Fusion [PDF]
International Joint Conference on Artificial Intelligence, 2021 Smart contracts hold digital coins worth billions of dollars, their security issues have drawn extensive attention in the past years. Towards smart contract vulnerability detection, conventional methods heavily rely on fixed expert rules, leading to low ...
Zhenguang Liu +5 more
semanticscholar +1 more source
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
SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds [PDF]
IEEE Symposium on Security and Privacy, 2021 This paper presents SAILFISH, a scalable system for automatically finding state-inconsistency bugs in smart contracts. To make the analysis tractable, we introduce a hybrid approach that includes (i) a light-weight exploration phase that dramatically ...
Priyanka Bose +5 more
semanticscholar +1 more source
Decentralized Finance: On Blockchain- and Smart Contract-Based Financial Markets
The Review, 2020 This paper explores the Decentralized Finance (DeFi) ecosystem. We examine how DeFi is emerging on top of the public Ethereum smart contract platform, compare it to the centralized architecture of traditional financial markets and highlight opportunities
Fabian Schär
semanticscholar +1 more source
Blockchain and Smart Contract Engineering [PDF]
IEEE Software, 2020 Blockchains help to build trust among a decentralized network of unknown and untrusted peers who need to agree on a common protocol and trust the correctness and compatibility of the corresponding software implementations. The software engineering discipline cannot ignore this trend, as it fundamentally affects the way software is designed, developed ...
Xabier Larrucea, Cesare Pautasso
openaire +3 more sources
Smart Contract Vulnerability Detection using Graph Neural Network
International Joint Conference on Artificial Intelligence, 2020 The security problems of smart contracts have drawn extensive attention due to the enormous financial losses caused by vulnerabilities. Existing methods on smart contract vulnerability detection heavily rely on fixed expert rules, leading to low ...
Yuan Zhuang +5 more
semanticscholar +1 more source
Adding concurrency to smart contracts [PDF]
Distributed Computing, 2017 Modern cryptocurrency systems, such as Ethereum, permit complex financial transactions through scripts called smart contracts. These smart contracts are executed many, many times, always without real concurrency. First, all smart contracts are serially executed by miners before appending them to the blockchain.
Paul Gazzillo +3 more
openaire +5 more sources
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.
Mema Roussopoulos +3 more
openaire +4 more sources