Image de couverture de livre

SmartInv: Multimodal Learning for Smart Contract Invariant Inference

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Wang, Sally Junsong, Pei, Kexin, Yang, Junfeng
Format:	Preprint
Publié:	2024
Sujets:	Software Engineering Cryptography and Security Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
par: Chen, Zhiyang, et autres
Publié: (2024)

Detecting Buggy Contracts via Smart Testing
par: Wang, Sally Junsong, et autres
Publié: (2024)

Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts
par: Kong, Ziqiao, et autres
Publié: (2025)

SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection
par: Su, Jianzhong, et autres
Publié: (2024)

Blockly2Hooks: Smart Contracts for Everyone with the XRP Ledger and Google Blockly
par: Trestioreanu, Lucian, et autres
Publié: (2025)

FLAMES: Fine-tuning LLMs to Synthesize Invariants for Smart Contract Security
par: Eshghie, Mojtaba, et autres
Publié: (2025)

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

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

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

BPMN to Smart Contract by Business Analyst
par: Liu, C. G., et autres
Publié: (2025)

SmartPoC: Generating Executable and Validated PoCs for Smart Contract Bug Reports
par: Chen, Longfei, et autres
Publié: (2025)

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

Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts
par: Zhang, Jiashuo, et autres
Publié: (2024)

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

Impact of Code Transformation on Detection of Smart Contract Vulnerabilities
par: Manh, Cuong Tran, et autres
Publié: (2024)

On-Chain Analysis of Smart Contract Dependency Risks on Ethereum
par: Jin, Monica, et autres
Publié: (2025)

Multi-Agent Collaborative Fuzzing with Continuous Reflection for Smart Contracts Vulnerability Detection
par: Chen, Jie, et autres
Publié: (2025)

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

SseRex: Practical Symbolic Execution of Solana Smart Contracts
par: Cloosters, Tobias, et autres
Publié: (2026)

Enforcing Control Flow Integrity on DeFi Smart Contracts
par: Chen, Zhiyang, et autres
Publié: (2025)

OpenSCV: An Open Hierarchical Taxonomy for Smart Contract Vulnerabilities
par: Vidal, Fernando Richter, et autres
Publié: (2023)

Detecting Malicious Intents in Smart Contracts with Pre-trained Programming Language Models
par: Huang, Youwei, et autres
Publié: (2025)

SCRUTINEER: Detecting Logic-Level Usage Violations of Reusable Components in Smart Contracts
par: Lin, Xingshuang, et autres
Publié: (2025)

HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts
par: Eshghie, Mojtaba, et autres
Publié: (2023)

WACANA: A Concolic Analyzer for Detecting On-chain Data Vulnerabilities in WASM Smart Contracts
par: Wang, Wansen, et autres
Publié: (2024)

Unity is Strength: Enhancing Precision in Reentrancy Vulnerability Detection of Smart Contract Analysis Tools
par: Wang, Zexu, et autres
Publié: (2024)

LibScan: Smart Contract Library Misuse Detection with Iterative Feedback and Static Verification
par: Wang, Yishun, et autres
Publié: (2026)

One Signature, Multiple Payments: Demystifying and Detecting Signature Replay Vulnerabilities in Smart Contracts
par: Wang, Zexu, et autres
Publié: (2025)

Vulnerability-Hunter: An Adaptive Feature Perception Attention Network for Smart Contract Vulnerabilities
par: Chen, Yizhou
Publié: (2024)

Assessing Vulnerability in Smart Contracts: The Role of Code Complexity Metrics in Security Analysis
par: Tehrani, Masoud Jamshidiyan
Publié: (2024)

LLM4Fuzz: Guided Fuzzing of Smart Contracts with Large Language Models
par: Shou, Chaofan, et autres
Publié: (2024)

Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?
par: Chaliasos, Stefanos, et autres
Publié: (2023)

All Your Tokens are Belong to Us: Demystifying Address Verification Vulnerabilities in Solidity Smart Contracts
par: Sun, Tianle, et autres
Publié: (2024)

LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation
par: Gai, Keke, et autres
Publié: (2025)

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

iResolveX: Multi-Layered Indirect Call Resolution via Static Reasoning and Learning-Augmented Refinement
par: Santra, Monika, et autres
Publié: (2026)

EvoPoC: Automated Exploit Synthesis for DeFi Smart Contracts via Hierarchical Knowledge Graphs
par: Liang, Ruichao, et autres
Publié: (2026)

DogeFuzz: A Simple Yet Efficient Grey-box Fuzzer for Ethereum Smart Contracts
par: Medeiros, Ismael, et autres
Publié: (2024)

Zero-Shot Vulnerability Detection in Low-Resource Smart Contracts Through Solidity-Only Training
par: Hu, Minghao, et autres
Publié: (2026)