English
Related papers

Related papers: Basis Path Coverage Criteria for Smart Contract Ap…

200 papers

Blockchain offers a decentralized, immutable, transparent system of records. It offers a peer-to-peer network of nodes with no centralised governing entity making it unhackable and therefore, more secure than the traditional paper-based or…

Cryptography and Security · Computer Science 2019-11-27 Harsh Jot Singh , Abdelhakim Senhaji Hafid

Blockchains are maintained by a network of participants that run algorithms designed to maintain collectively a distributed machine tolerant to Byzantine attacks. From the point of view of users, blockchains provide the illusion of…

Logic in Computer Science · Computer Science 2022-07-15 Martán Ceresa , César Sánchez

Smart contracts on public blockchains now manage large amounts of value, and vulnerabilities in these systems can lead to substantial losses. As AI agents become more capable at reading, writing, and running code, it is natural to ask how…

As 6G networks evolve, inter-provider agreements become crucial for dynamic resource sharing and network slicing across multiple domains, requiring on-demand capacity provisioning while enabling trustworthy interaction among diverse…

Networking and Internet Architecture · Computer Science 2025-03-04 Farhana Javed , Josep Mangues-Bafalluy

With the increase of the adoption of blockchain technology in providing decentralized solutions to various problems, smart contracts have become more popular to the point that billions of US Dollars are currently exchanged every day through…

Cryptography and Security · Computer Science 2023-01-24 Feng Mi , Chen Zhao , Zhuoyi Wang , Sadaf MD Halim , Xiaodi Li , Zhouxiang Wu , Latifur Khan , Bhavani Thuraisingham

Recently, a number of existing blockchain systems have witnessed major bugs and vulnerabilities within smart contracts. Although the literature features a number of proposals for securing smart contracts, these proposals mostly focus on…

Cryptography and Security · Computer Science 2018-12-17 Michael Rodler , Wenting Li , Ghassan O. Karame , Lucas Davi

Smart contracts, known for their immutable nature to ensure trust via automated enforcement, have evolved to require upgradeability due to unforeseen vulnerabilities and the need for feature enhancements post-deployment. This contradiction…

Software Engineering · Computer Science 2024-07-02 Ilham Qasse , Mohammad Hamdaqa , Björn Þór Jónsson

The Ethereum blockchain platform supports the execution of decentralised applications or smart contracts. These typically hold and transfer digital currency to other parties on the platform; however, they have been subject to numerous…

Programming Languages · Computer Science 2019-04-16 Franklin Schrans , Daniel Hails , Alexander Harkness , Sophia Drossopoulou , Susan Eisenbach

In recent years, smart contracts have suffered major exploits, costing millions of dollars. Unlike traditional programs, smart contracts are deployed on a blockchain. As such, they cannot be modified once deployed. Though various tools have…

Cryptography and Security · Computer Science 2020-03-16 Christof Ferreira Torres , Mathis Baden , Robert Norvill , Beltran Borja Fiz Pontiveros , Hugo Jonker , Sjouke Mauw

Smart contracts are cryptographic protocols that are enforced without a judiciary. Smart contracts are used occasionally in Bitcoin and are prevalent in Ethereum. Public quantum money improves upon cash we use today, yet the current…

Quantum Physics · Physics 2022-09-20 Or Sattath

Smart contracts have played a pivotal role in the evolution of blockchains and Decentralized Applications (DApps). As DApps continue to gain widespread adoption, multiple smart contract languages have been and are being made available to…

Ensuring security for highly dynamic peer-to-peer (P2P) networks has always been a challenge, especially for services like online transactions and smart devices. These networks experience high churn rates, making it difficult to maintain…

Cryptography and Security · Computer Science 2024-12-06 Saurav Ghosh , Reshmi Mitra , Indranil Roy , Bidyut Gupta

With technological advances and the establishment of e-commerce models, business challenges have shifted to online platforms. The promise of embedding self-executing and autonomous programs into blockchain technologies has attracted…

Computers and Society · Computer Science 2022-08-03 Kamal Kishor Singh

Interoperability is a significant challenge in blockchain technology, hindering seamless data and service sharing across diverse blockchain networks. This study introduces Automated Gateways as a novel framework leveraging smart contracts…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-09-24 Koosha Esmaeilzadeh Khorasani , Sara Rouhani , Rui Pan , Vahid Pourheidari

Ethereum smart contracts are distributed programs running on top of the Ethereum blockchain. Since program flaws can cause significant monetary losses and can hardly be fixed due to the immutable nature of the blockchain, there is a strong…

Cryptography and Security · Computer Science 2021-01-15 Clara Schneidewind , Markus Scherer , Matteo Maffei

Smart contracts are Turing-complete programs running on the blockchain. They cannot be modified, even when bugs are detected. The Selfdestruct function is the only way to destroy a contract on the blockchain system and transfer all the…

Software Engineering · Computer Science 2020-10-07 Jiachi Chen

Smart contracts are pieces of code that reside inside the blockchains and can be triggered to execute any transaction when specifically predefined conditions are satisfied. Being commonly used for commercial transactions in blockchain makes…

Cryptography and Security · Computer Science 2023-06-13 Yilin Wang , Xiangping Chen , Yuan Huang , Hao-Nan Zhu , Jing Bian , Zibin Zheng

Proliferation of IoT devices in society demands a renewed focus on securing the use and maintenance of such systems. IoT-based systems will have a great impact on society and therefore such systems must have guaranteed resilience. We…

Cryptography and Security · Computer Science 2020-07-07 John Wickström , Magnus Westerlund , Göran Pulkkis

Blockchain networks provide a reliable trust anchor to decentralized applications (DApps) backed by smart contracts. The Ethereum ecosystem now encompasses most blockchain networks that provide compatible support for smart contracts code.…

Software Engineering · Computer Science 2025-04-16 Cătălina Lazăr , Gabriela Secrieru , Emanuel Onica

Smart contracts, the cornerstone of blockchain technology, enable secure, automated distributed execution. Given their role in handling large transaction volumes across clients, miners, and validators, exploring concurrency is critical.…

Cryptography and Security · Computer Science 2025-07-23 Atefeh Zareh Chahoki , Maurice Herlihy , Marco Roveri