Image de couverture de livre

Towards Secure Program Partitioning for Smart Contracts with LLM's In-Context Learning

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Liu, Ye, Niu, Yuqing, Ma, Chengyan, Han, Ruidong, Ma, Wei, Li, Yi, Gao, Debin, Lo, David
Format:	Preprint
Publié:	2025
Sujets:	Software Engineering Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Automated TEE Adaptation with LLMs: Identifying, Transforming, and Porting Sensitive Functions in Programs
par: Han, Ruidong, et autres
Publié: (2025)

Automated Repair of TEE Partitioning Issues via DSL-Guided and LLM-Assisted Patching
par: Ma, Chengyan, et autres
Publié: (2026)

DITING: A Static Analyzer for Identifying Bad Partitioning Issues in TEE Applications
par: Ma, Chengyan, et autres
Publié: (2025)

Finding Missing Input Validation in TEEs via LLM-Assisted Symbolic Execution
par: Ma, Chengyan, et autres
Publié: (2026)

What You Trust Is Insecure: Demystifying How Developers (Mis)Use Trusted Execution Environments in Practice
par: Niu, Yuqing, et autres
Publié: (2025)

Demystifying the Characteristics for Smart Contract Upgrades
par: Liu, Ye, et autres
Publié: (2024)

Automated Invariant Generation for Solidity Smart Contracts
par: Liu, Ye, et autres
Publié: (2024)

Trace: Securing Smart Contract Repository Against Access Control Vulnerability
par: Chen, Chong, et autres
Publié: (2025)

Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications
par: Ma, Wei, et autres
Publié: (2024)

ContractTrace: Retracing Smart Contract Versions for Security Analyses
par: Mbodji, Fatou Ndiaye, et autres
Publié: (2024)

Demystifying Invariant Effectiveness for Securing Smart Contracts
par: Chen, Zhiyang, et autres
Publié: (2024)

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
par: Liu, Ye, et autres
Publié: (2024)

Bamboo: LLM-Driven Discovery of API-Permission Mappings in the Android Framework
par: Hu, Han, et autres
Publié: (2025)

DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects
par: Zheng, Zibin, et autres
Publié: (2023)

Towards Secure and Explainable Smart Contract Generation with Security-Aware Group Relative Policy Optimization
par: Yu, Lei, et autres
Publié: (2025)

Smart Contract Fuzzing Towards Profitable Vulnerabilities
par: Kong, Ziqiao, et autres
Publié: (2025)

Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?
par: Li, Kaixuan, et autres
Publié: (2024)

SmartML: Towards a Modeling Language for Smart Contracts
par: Veschetti, Adele, et autres
Publié: (2024)

StateGuard: Detecting State Derailment Defects in Decentralized Exchange Smart Contract
par: Li, Zongwei, et autres
Publié: (2024)

Why Is My Transaction Risky? Understanding Smart Contract Semantics and Interactions in the NFT Ecosystem
par: Chen, Yujing, et autres
Publié: (2025)

Automatic Smart Contract Comment Generation via Large Language Models and In-Context Learning
par: Zhao, Junjie, et autres
Publié: (2023)

ContractTinker: LLM-Empowered Vulnerability Repair for Real-World Smart Contracts
par: Wang, Che, et autres
Publié: (2024)

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation
par: Liu, Ye, et autres
Publié: (2024)

Bridging Solidity Evolution Gaps: An LLM-Enhanced Approach for Smart Contract Compilation Error Resolution
par: Ye, Likai, et autres
Publié: (2025)

Improving Smart Contract Security with Contrastive Learning-based Vulnerability Detection
par: Chen, Yizhou, et autres
Publié: (2024)

SmartShift: A Secure and Efficient Approach to Smart Contract Migration
par: Hossain, Tahrim, et autres
Publié: (2025)

Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow
par: Chen, Jiachi, et autres
Publié: (2024)

Detecting State Manipulation Vulnerabilities in Smart Contracts Using LLM and Static Analysis
par: Wu, Hao, et autres
Publié: (2025)

Validation Framework for E-Contract and Smart Contract
par: Godboley, Sangharatna, et autres
Publié: (2025)

MOS: Towards Effective Smart Contract Vulnerability Detection through Mixture-of-Experts Tuning of Large Language Models
par: Yuan, Hang, et autres
Publié: (2025)

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
par: Ma, Lezhi, et autres
Publié: (2026)

TraceLLM: Security Diagnosis Through Traces and Smart Contracts in Ethereum
par: Wang, Shuzheng, et autres
Publié: (2025)

SmartIntentNN: Towards Smart Contract Intent Detection
par: Huang, Youwei, et autres
Publié: (2022)

Automating Comment Generation for Smart Contract from Bytecode
par: Xiang, Jianhang, et autres
Publié: (2025)

Where Do Smart Contract Security Analyzers Fall Short?
par: Abdelaziz, Tamer, et autres
Publié: (2026)

Augmenting Smart Contract Decompiler Output through Fine-grained Dependency Analysis and LLM-facilitated Semantic Recovery
par: Liao, Zeqin, et autres
Publié: (2025)

I Know Who Clones Your Code: Interpretable Smart Contract Similarity Detection
par: Liu, Zhenguang, et autres
Publié: (2025)

Towards Source Mapping for Zero-Knowledge Smart Contracts: Design and Preliminary Evaluation
par: Xu, Pei, et autres
Publié: (2025)

ACFIX: Guiding LLMs with Mined Common RBAC Practices for Context-Aware Repair of Access Control Vulnerabilities in Smart Contracts
par: Zhang, Lyuye, et autres
Publié: (2024)

Beyond Code Similarity: Benchmarking the Plausibility, Efficiency, and Complexity of LLM-Generated Smart Contracts
par: Salzano, Francesco, et autres
Publié: (2025)