CCF区块链论文录用资讯--ICSE 2024

ICSE是CCF A类会议（软件工程/系统软件/程序设计语言）

其2024录用了13篇区块链论文

Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?

智能合约和 DeFi 安全工具：它们满足从业者的需求吗？

Stefanos Chaliasos Imperial College London, Marcos Antonios Charalambous Imperial College London, Liyi Zhou Imperial College London, Rafaila Galanopoulou National and Kapodistrian University of Athens, Arthur Gervais Imperial College London, Dimitris Mitropoulos University of Athens, Ben Livshits Imperial College London

PonziGuard: Detecting Ponzi Schemes on Ethereum with Contract Runtime Behavior Graph (CRBG)

PonziGuard：使用合约运行时行为图（CRBG）检测以太坊上的庞氏骗局

Ruichao Liang Wuhan University, Jing Chen Wuhan University, Kun He Wuhan University, Yueming Wu Nanyang Technological University, Gelei Deng Nanyang Technological University, Ruiying Du Wuhan University, Cong Wu Wuhan University

Revealing Hidden Threats: An Empirical Study of Library Misuse in Smart Contracts

揭示隐藏威胁：智能合约中库滥用的实证研究

Mingyuan Huang Sun Yat-Sen University, Jiachi Chen Sun Yat-sen University, Zigui Jiang Sun Yat-sen University, Zibin Zheng Sun Yat-sen University

Uncover the Premeditated Attacks: Detecting Exploitable Reentrancy Vulnerabilities by Identifying Attacker Contracts

揭露有预谋的攻击：通过识别攻击者合约来检测可利用的重入漏洞

Shuo Yang Sun Yat-sen University, Jiachi Chen Sun Yat-sen University, Mingyuan Huang Sun Yat-Sen University, Zibin Zheng Sun Yat-sen University, Yuan Huang School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China

Improving Smart Contract Security with Contrastive Learning-based Vulnerability Detection

通过基于对比学习的漏洞检测提高智能合约安全性

Yizhou Chen Peking University, Zeyu Sun Institute of Software, Chinese Academy of Sciences, Zhihao Gong Peking University, Dan Hao Peking University

Are We There Yet? Unraveling the State-of-the-Art Smart Contract Fuzzers

我们到了吗？揭秘最先进的智能合约模糊测试器

Shuohan Wu Hong Kong Polytechnic University, zihao li The Hong Kong Polytechnic Universituy, Luyi Yan Hong Kong Polytechnic University, Weimin Chen The Hong Kong Polytechnic University, Muhui Jiang The Hong Kong Polytechnic University, Chenxu Wang Xi'an Jiaotong University, Xiapu Luo Hong Kong Polytechnic University, Hao Zhou Hong Kong Polytechnic University

When Contracts Meets Crypto: Exploring Developers' Struggles with Ethereum Cryptographic APIs

当合约遇上加密货币：探索开发者在以太坊加密 API 方面的挣扎

Jiashuo Zhang Peking University, China, Jiachi Chen Sun Yat-sen University, Zhiyuan Wan Zhejiang University, Ting Chen University of Electronic Science and Technology of China, Jianbo Gao Peking University, Zhong Chen

Towards Finding Accounting Errors in Smart Contracts

寻找智能合约中的会计错误

Brian Zhang Purdue University

Verifying Declarative Smart Contracts

验证声明式智能合约

Haoxian Chen ShanghaiTech University, Lan Lu University of Pennsylvania, Brendan Massey University of Pennsylvania, Yuepeng Wang Simon Fraser University, Boon Thau Loo University of Pennsylvania

GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis

GPTScan：结合GPT和程序分析检测智能合约中的逻辑漏洞
Yuqiang Sun Nanyang Technological University, Daoyuan Wu Nanyang Technological University, YUE XUE MetaTrust Labs, Han Liu East China Normal University, Haijun Wang Nanyang Technological University, Zhengzi Xu Nanyang Technological University, Xiaofei Xie Singapore Management University, Yang Liu Nanyang Technological University

PrettySmart: Detecting Permission Re-delegation Vulnerability for Token Behaviors in Smart Contracts

PrettySmart：检测智能合约中代币行为的权限重委托漏洞

Zhijie Zhong School of Software Engineering, Sun Yat-sen University, Hong-Ning Dai Hong Kong Baptist University, Zibin Zheng Sun Yat-sen University, Qing Xue Sun Yat-sen University, Junjia Chen Sun Yat-sen University, Yuhong Nan Sun Yat-sen University

SCVHunter: Smart Contract Vulnerability Detection Based on Heterogeneous Graph Attention Network

SCVHunter：基于异构图注意力网络的智能合约漏洞检测

Feng Luo University of Electronic Science and Technology of China, Ruijie Luo University of Electronic Science and Technology of China, Ting Chen University of Electronic Science and Technology of China, Ao Qiao University of Electronic Science and Technology of China, Zheyuan He University of Electronic Science and Technology of China, Shuwei Song University of Electronic Science and Technology of China, Yu Jiang Tsinghua University, Sixing Li University of Electronic Science and Technology of China

Safeguarding DeFi Smart Contracts against Oracle Deviations

保护 DeFi 智能合约免受 Oracle 偏差的影响

Xun Deng University of Toronto, Sidi Mohamed Beillahi University of Toronto, Cyrus Minwalla Bank of Canada, Han Du Bank of Canada, Andreas Veneris University of Toronto, Fan Long University of Toronto