conftrace_

smart contract

13 papers

Explore in graph

Co-occurring keywords · papers mentioning both

vulnerability detection (6) large language model (4) graph neural network (2) code generation (2) smart contract generation (1) finite state machine (1) security verification (1) software security (1) code security (1) rule-based reasoning (1)

Papers

EVM-QuestBench: An Execution-Grounded Benchmark for Natural-Language Transaction Code Generation ACL 2026 CLEP: A Novel Contrastive Learning Method for Evolutionary Reentrancy Vulnerability Detection AAAI 2025 Deterministic Client: Enforcing Determinism on Untrusted Machine Code OSDI 2025 Guiding LLM-based Smart Contract Generation with Finite State Machine IJCAI 2025 MTVHunter: Smart Contracts Vulnerability Detection Based on Multi-Teacher Knowledge Translation AAAI 2025 SCALM: Detecting Bad Practices in Smart Contracts Through LLMs AAAI 2025 Smart Contracts for Trustless Sampling of Correlated Equilibria IJCAI 2025 Vegeta: Enabling Parallel Smart Contract Execution in Leaderless Blockchains NSDI 2025 Detecting Bugs with Substantial Monetary Consequences by LLM and Rule-based Reasoning NeurIPS 2024 EFEVD: Enhanced Feature Extraction for Smart Contract Vulnerability Detection IJCAI 2024 Smart Contract Vulnerability Detection: From Pure Neural Network to Interpretable Graph Feature and Expert Pattern Fusion IJCAI 2021 Infochain: A Decentralized, Trustless and Transparent Oracle on Blockchain IJCAI 2020 Smart Contract Vulnerability Detection using Graph Neural Network IJCAI 2020