English
Related papers

Related papers: Dissecting Smart Contract Languages: A Survey

200 papers

Infrastructure maintenance is inherently complex, especially for widely dispersed transport systems like roads and railroads. Maintaining this infrastructure involves multiple partners working together to ensure safe, efficient upkeep that…

Computers and Society · Computer Science 2024-10-29 Fatjon Seraj

Smart contracts are programs that execute transactions involving independent parties and cryptocurrencies. As programs, smart contracts are susceptible to a wide range of errors and vulnerabilities. Such vulnerabilities can result in…

Cryptography and Security · Computer Science 2023-07-03 Sundas Munir , Walid Taha

Context: Smart contracts are computerized self-executing contracts that contain clauses, which are enforced once certain conditions are met. Smart contracts are immutable by design and cannot be modified once deployed, which ensures…

Software Engineering · Computer Science 2023-04-14 Ilham Qasse , Mohammad Hamdaqa , Björn Þór Jónsson

The aim of this work is to study the use of decentralization and smart contracts on blockchain networks. We investigate the implementation and use of smart contracts on the platforms Bitcoin, Ethereum and Hyperledger Fabric. Additionally,…

Cryptography and Security · Computer Science 2019-03-13 Theodosis Mourouzis , Jayant Tandon

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

This chapter contributes to evolving the versatility and complexity of blockchain-enabled services through extending the functionality of blockchain-enforced smart contracts. The contributions include: (i) a method for automated management…

Cryptography and Security · Computer Science 2018-06-29 Craig Wright , Antoaneta Serguieva

Blockchains are decentralized systems that provide trustable execution guarantees. Smart contracts are programs written in specialized programming languages running on blockchains that govern how tokens and cryptocurrency are sent and…

Logic in Computer Science · Computer Science 2024-01-23 Margarita Capretto , Martin Ceresa , Cesar Sanchez

Smart contracts are self-executing programs that run on blockchains (e.g., Ethereum). 680 million US dollars worth of digital assets controlled by smart contracts have been hacked or stolen due to various security vulnerabilities in 2021.…

Cryptography and Security · Computer Science 2022-04-26 Tanusree Sharma , Zhixuan Zhou , Andrew Miller , Yang Wang

Recent years have witnessed an increasing interest in the blockchain technology, and many blockchain-based applications have been developed to take advantage of its decentralization, transparency, fault tolerance, and strong security. In…

Cryptography and Security · Computer Science 2021-09-30 Yihao Guo , Zhiguo Wan , Xiuzhen Cheng

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

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

Smart contract, one of the most successful applications of blockchain, is taking the world by storm, playing an essential role in the blockchain ecosystem. However, frequent smart contract security incidents not only result in tremendous…

Cryptography and Security · Computer Science 2022-09-14 Peng Qian , Zhenguang Liu , Qinming He , Butian Huang , Duanzheng Tian , Xun Wang

We examine blockchain technologies, especially smart contracts, as a platform for decentralized applications. By providing a basis for consensus, blockchain promises to upend business models that presuppose a central authority. However,…

Computers and Society · Computer Science 2018-01-10 Munindar P. Singh , Amit K. Chopra

Recent technologies such as inter-ledger payments, non-fungible tokens, and smart contracts are all fruited from the ongoing development of Distributed Ledger Technologies. The foreseen trend is that they will play an increasingly visible…

Cryptography and Security · Computer Science 2025-11-12 Lucian Trestioreanu , Wazen Shbair , Flaviene Scheidt de Cristo , Radu State

The rise of digital currency and the public ledger Block Chain has led to the development of a new type of electronic contract known as "smart contracts." For these contracts to be considered valid, they must adhere to traditional contract…

Smart contracts manage blockchain assets and embody business processes. However, mainstream smart contract programming languages such as Solidity lack explicit notions of roles, action dependencies, and time. Instead, these concepts are…

Software Engineering · Computer Science 2023-09-19 Mojtaba Eshghie , Wolfgang Ahrendt , Cyrille Artho , Thomas Troels Hildebrandt , Gerardo Schneider

Blockchain is a form of distributed ledger technology (DLT) where data is shared among users connected over the internet. Transactions are data state changes on the blockchain that are permanently recorded in a secure and transparent way…

Cryptography and Security · Computer Science 2021-06-18 Amirmohammad Pasdar , Zhongli Dong , Young Choon Lee

In the growing field of blockchain technology, smart contracts exist as transformative digital agreements that execute transactions autonomously in decentralised networks. However, these contracts face challenges in the form of security…

Cryptography and Security · Computer Science 2024-07-12 Christopher De Baets , Basem Suleiman , Armin Chitizadeh , Imran Razzak

Smart contracts are essential for managing digital assets in blockchain networks, highlighting the need for effective security measures. This paper introduces SmartLLMSentry, a novel framework that leverages large language models (LLMs),…

Cryptography and Security · Computer Science 2024-12-02 Oualid Zaazaa , Hanan El Bakkali

Blockchain, Smart Contracts and Distributed Ledger Technology (DLT) are being touted to revolutionise digital services - through decentralisation. Cryptocurrencies, self-sovereign identities, decentralised certificate registries, and…

Computers and Society · Computer Science 2019-11-01 Joshua Ellul , Gordon Pace