English
Related papers

Related papers: Non-Negative PARATUCK2 Tensor Decomposition Combin…

200 papers

The adoption of blockchain-based distributed computation platforms is growing fast. Some of these platforms, such as Ethereum, provide support for implementing smart contracts, which are envisioned to have novel applications in a broad…

Cryptography and Security · Computer Science 2017-11-28 Anastasia Mavridou , Aron Laszka

This paper presents a deep learning framework based on Long Short-term Memory Network(LSTM) that predicts price movement of cryptocurrencies from trade-by-trade data. The main focus of this study is on predicting short-term price changes in…

Statistical Finance · Quantitative Finance 2020-10-16 Qi Zhao

Smart contracts written in Solidity are programs used in blockchain networks, such as Etherium, for performing transactions. However, as with any piece of software, they are prone to errors and may present vulnerabilities, which malicious…

Logic in Computer Science · Computer Science 2021-11-29 Kunjian Song , Nedas Matulevicius , Eddie B. de Lima Filho , Lucas C. Cordeiro

Ethereum smart contracts are programs that can be collectively executed by a network of mutually untrusted nodes. Smart contracts handle and transfer assets of values, offering strong incentives for malicious attacks. Intrusion attacks are…

Software Engineering · Computer Science 2019-11-28 Xinming Wang , Jiahao He , Zhijian Xie , Gansen Zhao , Shing-Chi Cheung

Smart contracts are programs that execute inside blockchains such as Ethereum to manipulate digital assets. Since bugs in smart contracts may lead to substantial financial losses, there is considerable interest in formally proving their…

Programming Languages · Computer Science 2021-09-10 Christian Bräm , Marco Eilers , Peter Müller , Robin Sierra , Alexander J. Summers

Smart contracts are self-executing programs on blockchain platforms like Ethereum, which have revolutionized decentralized finance by enabling trustless transactions and the operation of decentralized applications. Despite their potential,…

Software Engineering · Computer Science 2026-03-25 Gerardo Iuliano , Dario Di Nucci

Demand forecasting in power sector has become an important part of modern demand management and response systems with the rise of smart metering enabled grids. Long Short-Term Memory (LSTM) shows promising results in predicting time series…

Machine Learning · Computer Science 2021-07-30 Koushik Roy , Abtahi Ishmam , Kazi Abu Taher

In the realm of smart contract security, transaction malice detection has been able to leverage properties of transaction traces to identify hacks with high accuracy. However, these methods cannot be applied in real-time to revert malicious…

Logic in Computer Science · Computer Science 2024-08-28 Zhiyang Chen , Jan Gorzny , Martin Derka

Ethereum has become a widely used platform to enable secure, Blockchain-based financial and business transactions. However, many identified bugs and vulnerabilities in smart contracts have led to serious financial losses, which raises…

Software Engineering · Computer Science 2021-07-06 Zhipeng Gao

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

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

The execution of smart contracts on Ethereum, a public blockchain system, incurs a fee called gas fee for its computation and data storage. When programmers develop smart contracts (e.g., in the Solidity programming language), they could…

Software Engineering · Computer Science 2025-07-29 Mengting He , Shihao Xia , Boqin Qin , Nobuko Yoshida , Tingting Yu , Yiying Zhang , Linhai Song

Blockchain-driven technologies are considered disruptive because of the availability of dis-intermediated, censorship-resistant and tamper-proof digital platforms of distributed trust. Among these technologies, smart contract platforms have…

Computers and Society · Computer Science 2018-03-14 Alexandra Covaci , Simone Madeo , Patrick Motylinski , Stéphane Vincent

Ethereum, a leading blockchain platform, has revolutionized the digital economy by enabling decentralized transactions and the execution of smart contracts. Ethereum transactions form the backbone of its network, facilitating peer-to-peer…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-07-30 Dvir David Biton , Roy Friedman , Yaron Hay

Ethereum smart contracts hold tens of billions of USD in DeFi and NFTs, yet comprehensive security analysis remains difficult due to unverified code, proxy-based architectures, and the reliance on manual inspection of complex execution…

Cryptography and Security · Computer Science 2025-09-04 Shuzheng Wang , Yue Huang , Zhuoer Xu , Yuming Huang , Jing Tang

Understanding the economic intent of Ethereum transactions is critical for user safety, yet current tools expose only raw on-chain data or surface-level intent, leading to widespread "blind signing" (approving transactions without…

Computational Engineering, Finance, and Science · Computer Science 2026-03-19 Zifan Peng , Jingyi Zheng , Yule Liu , Huaiyu Jia , Qiming Ye , Jingyu Liu , Xufeng Yang , Mingchen Li , Qingyuan Gong , Xuechao Wang , Xinlei He

Ethereum smart contracts are executable programs, deployed on a peer-to-peer network and executed in a consensus-based fashion. Their bytecode is public, immutable and once deployed to the blockchain, cannot be patched anymore. As smart…

Cryptography and Security · Computer Science 2019-07-10 Konrad Weiss , Julian Schütte

Smart contract security has progressed from vulnerability detection toward a broader research agenda that includes semantic reasoning, automated repair, adversarial robustness, and real-time exploit detection. This paper develops a…

Cryptography and Security · Computer Science 2026-05-19 Tamer Abdelaziz

With the advance application of blockchain technology in various fields, ensuring the security and stability of smart contracts has emerged as a critical challenge. Current security analysis methodologies in vulnerability detection can be…

Cryptography and Security · Computer Science 2025-07-31 Chenyang Peng , Haijun Wang , Yin Wu , Hao Wu , Ming Fan , Yitao Zhao , Ting Liu

Smart contracts are crucial elements of decentralized technologies, but they face significant obstacles to trustworthiness due to security bugs and trapdoors. To address the core issue, we propose a technology that enables programmers to…

Cryptography and Security · Computer Science 2023-04-19 Nikolaj Bjørner , Shuo Chen , Yang Chen , Zhongxin Guo , Peng Liu , Nanqing Luo