English
Related papers

Related papers: BugMagnifier: TON Transaction Simulator for Reveal…

200 papers

Financial fraud cases are on the rise even with the current technological advancements. Due to the lack of inter-organization synergy and because of privacy concerns, authentic financial transaction data is rarely available. On the other…

Business process collaboration between independent parties can be challenging, especially if the participants do not have complete trust in each other. Tracking actions and enforcing the activity authorizations of participants via…

Cryptography and Security · Computer Science 2023-11-14 Balázs Ádám Toldi , Imre Kocsis

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 programs stored on a blockchain that run when predetermined conditions are met. However, designing and implementing a smart contract is not trivial since upon deployment on a blockchain, it is no longer possible to…

Software Engineering · Computer Science 2021-12-08 Chaïmaa Benabbou , Önder Gürcan

A smart contract is a digital program of transaction protocol (rules of contract) based on the consensus architecture of blockchain. Smart contracts with Blockchain are modern technologies that have gained enormous attention in scientific…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-02-17 Norah M. Alshahrani , M. L. Mat Kiah , B. B. Zaidan , A. H. Alamoodi , Abdu Saif

Deep neural networks (DNNs) have emerged as a prominent approach for detecting smart contract vulnerabilities, driven by the growing contract datasets and advanced deep learning techniques. However, DNNs typically require large-scale…

Machine Learning · Computer Science 2026-03-31 Zeli Wang , Qingxuan Yang , Shuyin Xia , Yueming Wu , Bo Liu , Longlong Lin

Although the emergence of the programmable smart contract makes blockchain systems easily embrace a wider range of industrial areas, how to execute smart contracts efficiently becomes a big challenge nowadays. Due to the existence of…

Databases · Computer Science 2019-05-20 Shuaifeng Pang , Xiaodong Qi , Zhao Zhang , Cheqing Jin , Aoying Zhou

Blockchain and smart contract technology are novel approaches to data and code management that facilitate trusted computing by allowing for development in a distributed and decentralized manner. Testing smart contracts comes with its own…

Software Engineering · Computer Science 2022-04-18 Stefan Driessen , Dario Di Nucci , Geert Monsieur , Damian A. Tamburri , Willem-Jan van den Heuvel

As blockchain technology continues to evolve and mature, smart contracts have become a key driving force behind the digitization and automation of transactions. Smart contracts greatly simplify and refine the traditional business…

Software Engineering · Computer Science 2025-06-17 Lantian Li , Yejian Liang , Zhongxing Yu

The increased adoption of smart contracts in many industries has made them an attractive target for cybercriminals, leading to millions of dollars in losses. Thus, deploying smart contracts with detected vulnerabilities (known to…

Software Engineering · Computer Science 2023-07-25 Pengcheng , Peng , Yun , Qingzhao , Tao , Dawn , Prateek , Sanjeev , Zhuotao , Xusheng

Smart contracts are essential to decentralized finance (DeFi) and blockchain ecosystems but are increasingly vulnerable to exploits due to coding errors and complex attack vectors. Traditional static analysis tools and existing…

Cryptography and Security · Computer Science 2025-02-20 Jun Kevin , Pujianto Yugopuspito

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

When blockchain systems are said to be trustless, what this really means is that all the trust is put into software. Thus, there are strong incentives to ensure blockchain software is correct -- vulnerabilities here cost millions and break…

Software Engineering · Computer Science 2025-10-20 Jan Corazza , Ivan Gavran , Gabriela Moreira , Daniel Neider

Smart contracts are prone to various vulnerabilities, leading to substantial financial losses over time. Current analysis tools mainly target vulnerabilities with fixed control or data-flow patterns, such as re-entrancy and integer…

Cryptography and Security · Computer Science 2024-05-07 Yuqiang Sun , Daoyuan Wu , Yue Xue , Han Liu , Haijun Wang , Zhengzi Xu , Xiaofei Xie , Yang Liu

This paper presents VulnSense framework, a comprehensive approach to efficiently detect vulnerabilities in Ethereum smart contracts using a multimodal learning approach on graph-based and natural language processing (NLP) models. Our…

Cryptography and Security · Computer Science 2023-09-18 Phan The Duy , Nghi Hoang Khoa , Nguyen Huu Quyen , Le Cong Trinh , Vu Trung Kien , Trinh Minh Hoang , Van-Hau Pham

Smart contracts are executable programs that enable the building of a programmable trust mechanism between multiple entities without the need of a trusted third-party. Researchers have developed several security scanners in the past couple…

Cryptography and Security · Computer Science 2020-12-15 William Zhang , Sebastian Banescu , Leonardo Passos , Steven Stewart , Vijay Ganesh

A key component of blockchain technology is the ledger, viz., a database that, unlike standard databases, keeps in memory the complete history of past transactions as in a notarial archive for the benefit of any future test. In…

Cryptography and Security · Computer Science 2021-10-01 Paolo Bottoni , Anna Labella , Remo Pareschi

Smart contracts are programs that are executed on a blockhain. They have been used for applications in voting, decentralized finance, and supply chain management. However, vulnerabilities in smart contracts have been abused by hackers,…

Programming Languages · Computer Science 2021-10-19 Timothy Mou , Michael Coblenz , Jonathan Aldrich

Smart contracts are stateful programs deployed on blockchains; they secure over a trillion dollars in transaction value per year. High-stakes smart contracts often rely on timely alerts about external events, but prior work has not analyzed…

Cryptography and Security · Computer Science 2026-04-14 Marwa Mouallem , Lorenz Breidenbach , Ittay Eyal , Ari Juels

The immutable nature of blockchain technology, while revolutionary, introduces significant security challenges, particularly in smart contracts. These security issues can lead to substantial financial losses. Current tools and approaches…

Cryptography and Security · Computer Science 2024-11-05 Zhiyuan Wei , Jing Sun , Zijiang Zhang , Xianhao Zhang , Meng Li , Zhe Hou
‹ Prev 1 3 4 5 6 7 10 Next ›