Buchumschlag

From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Maxence, Lambard, Cyrille, Bertelle, Claude, Duvallet
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

An Automated Analyzer for Financial Security of Ethereum Smart Contracts
von: Wang, Wansen, et al.
Veröffentlicht: (2022)

Malicious Code Detection in Smart Contracts via Opcode Vectorization
von: Zou, Huanhuan, et al.
Veröffentlicht: (2025)

HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts
von: Eshghie, Mojtaba, et al.
Veröffentlicht: (2023)

HCC: A Language-Independent Hardening Contract Compiler for Smart Contracts
von: Giesen, Jens-Rene, et al.
Veröffentlicht: (2022)

Prompt to Pwn: Automated Exploit Generation for Smart Contracts
von: Xiao, ZeKe, et al.
Veröffentlicht: (2025)

Evaluating the Vulnerability Landscape of LLM-Generated Smart Contracts
von: Do, Hoang Long, et al.
Veröffentlicht: (2026)

Automated Cybersecurity Compliance and Threat Response Using AI, Blockchain & Smart Contracts
von: Alevizos, Lampis, et al.
Veröffentlicht: (2024)

Impact of Code Transformation on Detection of Smart Contract Vulnerabilities
von: Manh, Cuong Tran, et al.
Veröffentlicht: (2024)

Smart Contract Security Beyond Detection
von: Abdelaziz, Tamer
Veröffentlicht: (2026)

TaintSentinel: Path-Level Randomness Vulnerability Detection for Ethereum Smart Contracts
von: Rezaei, Hadis, et al.
Veröffentlicht: (2025)

Model Context Contracts - MCP-Enabled Framework to Integrate LLMs With Blockchain Smart Contracts
von: Bandara, Eranga, et al.
Veröffentlicht: (2025)

FlexiContracts: A Novel and Efficient Scheme for Upgrading Smart Contracts in Ethereum Blockchain
von: Hossain, Tahrim, et al.
Veröffentlicht: (2025)

Scalable UTXO Smart Contracts via Fine-Grained Distributed State
von: Bartoletti, Massimo, et al.
Veröffentlicht: (2024)

Leveraging Large Language Models and Machine Learning for Smart Contract Vulnerability Detection
von: Hossain, S M Mostaq, et al.
Veröffentlicht: (2025)

LLM-SmartAudit: Advanced Smart Contract Vulnerability Detection
von: Wei, Zhiyuan, et al.
Veröffentlicht: (2024)

AI Agent Smart Contract Exploit Generation
von: Gervais, Arthur, et al.
Veröffentlicht: (2025)

Exploring Vulnerabilities and Concerns in Solana Smart Contracts
von: Wu, Xiangfan, et al.
Veröffentlicht: (2025)

Architectural Design for Secure Smart Contract Development
von: Lewis, Myles, et al.
Veröffentlicht: (2024)

Fuzz on the Beach: Fuzzing Solana Smart Contracts
von: Smolka, Sven, et al.
Veröffentlicht: (2023)

Temporarily Restricting Solidity Smart Contract Interactions
von: Callens, Valerian, et al.
Veröffentlicht: (2024)

Generative Large Language Model usage in Smart Contract Vulnerability Detection
von: Ince, Peter, et al.
Veröffentlicht: (2025)

Constructing Trustworthy Smart Contracts
von: Chait-Roth, Devora, et al.
Veröffentlicht: (2024)

CodeBC: A More Secure Large Language Model for Smart Contract Code Generation in Blockchain
von: Wang, Lingxiang, et al.
Veröffentlicht: (2025)

RaceTEE: Enabling Interoperability of Confidential Smart Contracts
von: Zhang, Keyu, et al.
Veröffentlicht: (2025)

Security Analysis of Ponzi Schemes in Ethereum Smart Contracts
von: Zhang, Chunyi, et al.
Veröffentlicht: (2025)

Decompiling Smart Contracts with a Large Language Model
von: David, Isaac, et al.
Veröffentlicht: (2025)

SmartLLM: Smart Contract Auditing using Custom Generative AI
von: Kevin, Jun, et al.
Veröffentlicht: (2025)

Interaction-Aware Vulnerability Detection in Smart Contract Bytecodes
von: Li, Wenkai, et al.
Veröffentlicht: (2024)

BACKRUNNER: Mitigating Smart Contract Attacks in the Real World
von: Shou, Chaofan, et al.
Veröffentlicht: (2024)

ContractShield: Bridging Semantic-Structural Gaps via Hierarchical Cross-Modal Fusion for Multi-Label Vulnerability Detection in Obfuscated Smart Contracts
von: Tran-Duong, Minh-Dai, et al.
Veröffentlicht: (2026)

ContractTinker: LLM-Empowered Vulnerability Repair for Real-World Smart Contracts
von: Wang, Che, et al.
Veröffentlicht: (2024)

SmartBugBert: BERT-Enhanced Vulnerability Detection for Smart Contract Bytecode
von: Bu, Jiuyang, et al.
Veröffentlicht: (2025)

BPMN to Smart Contract by Business Analyst
von: Liu, C. G., et al.
Veröffentlicht: (2025)

Monitoring the Future of Smart Contracts
von: Capretto, Margarita, et al.
Veröffentlicht: (2024)

SCRUTINEER: Detecting Logic-Level Usage Violations of Reusable Components in Smart Contracts
von: Lin, Xingshuang, et al.
Veröffentlicht: (2025)

Understanding and Characterizing Obfuscated Funds Transfers in Ethereum Smart Contracts
von: Sheng, Zhang, et al.
Veröffentlicht: (2025)

MoveScanner: Analysis of Security Risks of Move Smart Contracts
von: Luo, Yuhe, et al.
Veröffentlicht: (2025)

Blockchain-Based Secure Vehicle Auction System with Smart Contracts
von: Wu, Ka Wai
Veröffentlicht: (2025)

LISA Technical Report: An Agentic Framework for Smart Contract Auditing
von: Sun, Izaiah, et al.
Veröffentlicht: (2025)

NATLM: Detecting Defects in NFT Smart Contracts Leveraging LLM
von: Niu, Yuanzheng, et al.
Veröffentlicht: (2025)