中文
相关论文

相关论文: Non-Negative PARATUCK2 Tensor Decomposition Combin…

200 篇论文

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…

密码学与安全 · 计算机科学 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…

统计金融 · 定量金融 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…

计算机科学中的逻辑 · 计算机科学 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…

软件工程 · 计算机科学 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…

编程语言 · 计算机科学 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,…

软件工程 · 计算机科学 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…

机器学习 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

软件工程 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

软件工程 · 计算机科学 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…

计算机与社会 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

计算工程、金融与科学 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 2023-04-19 Nikolaj Bjørner , Shuo Chen , Yang Chen , Zhongxin Guo , Peng Liu , Nanqing Luo