Image de couverture de livre

Demystifying Invariant Effectiveness for Securing Smart Contracts

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Chen, Zhiyang, Liu, Ye, Beillahi, Sidi Mohamed, Li, Yi, Long, Fan
Format:	Preprint
Publié:	2024
Sujets:	Cryptography and Security Programming Languages Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

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

SmartInv: Multimodal Learning for Smart Contract Invariant Inference
par: Wang, Sally Junsong, et autres
Publié: (2024)

FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation
par: Chen, Zhiyang, et autres
Publié: (2022)

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

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

Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities
par: Khare, Avishree, et autres
Publié: (2023)

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

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

IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
par: Li, Ziyang, et autres
Publié: (2024)

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
par: Wang, Claire, et autres
Publié: (2025)

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

From Solitary Directives to Interactive Encouragement! LLM Secure Code Generation by Natural Language Prompting
par: Liu, Shigang, et autres
Publié: (2024)

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

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

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version)
par: Arquint, Linard, et autres
Publié: (2025)

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

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

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

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

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

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

HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
par: Zhang, Yiyu, et autres
Publié: (2024)

Translating C To Rust: Lessons from a User Study
par: Li, Ruishi, et autres
Publié: (2024)

Static Deadlock Detection for Rust Programs
par: Zhang, Yu, et autres
Publié: (2024)

UBfuzz: Finding Bugs in Sanitizer Implementations
par: Li, Shaohua, et autres
Publié: (2024)

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

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

YASA: Scalable Multi-Language Taint Analysis on the Unified AST at Ant Group
par: Wang, Yayi, et autres
Publié: (2026)

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

An Empirical Analysis of EOS Blockchain: Architecture, Contract, and Security
par: Liu, Haiyang, et autres
Publié: (2025)

On-Chain Analysis of Smart Contract Dependency Risks on Ethereum
par: Jin, Monica, 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)

Securing Tomorrow's Smart Cities: Investigating Software Security in Internet of Vehicles and Deep Learning Technologies
par: Jain, Ridhi, et autres
Publié: (2024)

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

Dynamic Taint Tracking using Partial Instrumentation for Java Applications
par: Thakur, Manoj RameshChandra
Publié: (2024)

Fuzzing Processing Pipelines for Zero-Knowledge Circuits
par: Hochrainer, Christoph, et autres
Publié: (2024)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
par: Tempel, Sören, et autres
Publié: (2024)

Arguzz: Testing zkVMs for Soundness and Completeness Bugs
par: Hochrainer, Christoph, et autres
Publié: (2025)

Yaksha-Prashna: Understanding eBPF Bytecode Network Function Behavior
par: Singh, Animesh, et autres
Publié: (2026)