English
Related papers

Related papers: SmartMark: Software Watermarking Scheme for Smart …

200 papers

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. In a decentralized blockchain, the state…

Programming Languages · Computer Science 2020-04-28 Massimo Bartoletti , Letterio Galletta , Maurizio Murgia

The use of blockchain and smart contracts have not stopped growing in recent years. Like all software that begins to expand its use, it is also beginning to be targeted by hackers who will try to exploit vulnerabilities in both the…

Cryptography and Security · Computer Science 2024-02-07 Antonio López Vivar , Ana Lucila Sandoval Orozco , Luis Javier García Villalba

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. We examine two real-world examples from the…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-02-21 Ilya Sergey , Aquinas Hobor

The wide application of Ethereum technology has brought technological innovation to traditional industries. As one of Ethereum's core applications, smart contracts utilize diverse contract codes to meet various functional needs and have…

Cryptography and Security · Computer Science 2024-07-02 Jiacheng Yao , Maolin Wang , Wanqi Chen , Chengxiang Jin , Jiajun Zhou , Shanqing Yu , Qi Xuan

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

Due to the risks associated with vulnerabilities in smart contracts, their security has gained significant attention in recent years. However, there is a lack of open datasets on smart contract vulnerabilities and their fixes that allows…

Cryptography and Security · Computer Science 2022-12-22 Majd Soud , Ilham Qasse , Grischa Liebel , Mohammad Hamdaqa

The Ethereum blockchain is essentially a globally replicated public database. Programs called smart contracts can access this database. Over 10 million smart contracts have been deployed on the Ethereum blockchain. Executing a method of a…

Software Engineering · Computer Science 2019-07-23 Pieter Hartel , Mark van Staalduinen

Code Summarization Model (CSM) has been widely used in code production, such as online and web programming for PHP and Javascript. CSMs are essential tools in code production, enhancing software development efficiency and driving innovation…

Cryptography and Security · Computer Science 2025-02-11 Jiale Zhang , Haoxuan Li , Di Wu , Xiaobing Sun , Qinghua Lu , Guodong Long

The selfdestruct function is provided by Ethereum smart contracts to destroy a contract on the blockchain system. However, it is a double-edged sword for developers. On the one hand, using selfdestruct function enables developers to remove…

Software Engineering · Computer Science 2021-11-30 Jiachi Chen , Xin Xia , David Lo , John Grundy

We propose and compare two approaches to identify smart contracts as token systems by analyzing their public bytecode. The first approach symbolically executes the code in order to detect token systems by their characteristic behavior of…

Cryptography and Security · Computer Science 2018-11-29 Michael Fröwis , Andreas Fuchs , Rainer Böhme

Natural language processing (NLP) technology has shown great commercial value in applications such as sentiment analysis. But NLP models are vulnerable to the threat of pirated redistribution, damaging the economic interests of model…

Cryptography and Security · Computer Science 2022-11-21 Long Dai , Jiarong Mao , Xuefeng Fan , Xiaoyi Zhou

A new type of watermarks for handwritten black-white documents is suggested. Insertion of the watermark in a document minimizes distortion of the latter. The method is intended for validation of handwritten records placed in blockchain…

Cryptography and Security · Computer Science 2019-01-11 Rustam Latypov , Evgeni Stolov

Delegation of cryptographic signing rights has found many application in the literature and the real world. However, despite very advanced functionalities and specific use cases, existing solutions share the natural limitation that the…

Cryptography and Security · Computer Science 2022-10-07 Stephan Krenn , Thomas Lorünser

In this paper, we develop BlockMarkchain, as a secure data market place, where individual data sellers can exchange certified data with buyers, in a secure environment, without any mutual trust among the parties, and without trusting on a…

Cryptography and Security · Computer Science 2020-03-26 Hamidreza Ehteram , Mohammad Taha Toghani , Mohammad Ali Maddah-Ali

Blockchain systems have gained substantial traction recently, partly due to the potential of decentralized immutable mediation of economic activities. Ethereum is a prominent example that has the provision for executing stateful computing…

Software Engineering · Computer Science 2020-07-17 Ashish Rajendra Sai , Conor Holmes , Jim Buckley , Andrew Le Gear

Smart contracts codify real-world transactions and automatically execute the terms of the contract when predefined conditions are met. This paper proposes SmartML, a modeling language for smart contracts that is platform independent and…

Software Engineering · Computer Science 2024-07-01 Adele Veschetti , Richard Bubel , Reiner Hähnle

In recent years, manifold blockchain protocols have been proposed by researchers and industrial companies alike. This has led to a very heterogeneous blockchain landscape. Accordingly, it would be desirable if blockchains could interact…

Cryptography and Security · Computer Science 2021-06-29 Markus Nissl , Emanuel Sallinger , Stefan Schulte , Michael Borkowski

The blockchain technology has been used for recording state transitions of smart contracts - decentralized applications that can be invoked through external transactions. Smart contracts gained popularity and accrued hundreds of billions of…

Cryptography and Security · Computer Science 2023-05-10 Nikolay Ivanov , Chenning Li , Qiben Yan , Zhiyuan Sun , Zhichao Cao , Xiapu Luo

With a market capitalisation of over USD 205 billion in just under ten years, public distributed ledgers have experienced significant adoption. Apart from novel consensus mechanisms, their success is also accountable to smart contracts.…

Cryptography and Security · Computer Science 2018-11-02 Dominik Harz , William Knottenbelt

Smart contracts are small programs that run autonomously on the blockchain, using it as their persistent memory. The predominant platform for smart contracts is the Ethereum VM (EVM). In EVM smart contracts, a problem with significant…

Programming Languages · Computer Science 2025-12-01 Sifis Lagouvardos , Yannis Bollanos , Michael Debono , Neville Grech , Yannis Smaragdakis