Imagen de Portada

Smart Contract Security Beyond Detection

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Abdelaziz, Tamer
Formato:	Preprint
Publicado:	2026
Materias:	Cryptography and Security
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Where Do Smart Contract Security Analyzers Fall Short?
por: Abdelaziz, Tamer, et al.
Publicado: (2026)

Usenix'23 Extended Version: Smart Learning to Find Dumb Contracts
por: Abdelaziz, Tamer, et al.
Publicado: (2023)

Architectural Design for Secure Smart Contract Development
por: Lewis, Myles, et al.
Publicado: (2024)

Security Analysis of Ponzi Schemes in Ethereum Smart Contracts
por: Zhang, Chunyi, et al.
Publicado: (2025)

An Automated Analyzer for Financial Security of Ethereum Smart Contracts
por: Wang, Wansen, et al.
Publicado: (2022)

Enhancing Smart Contract Security Analysis with Execution Property Graphs
por: Qin, Kaihua, et al.
Publicado: (2023)

MoveScanner: Analysis of Security Risks of Move Smart Contracts
por: Luo, Yuhe, et al.
Publicado: (2025)

Blockchain-Based Secure Vehicle Auction System with Smart Contracts
por: Wu, Ka Wai
Publicado: (2025)

LLM-SmartAudit: Advanced Smart Contract Vulnerability Detection
por: Wei, Zhiyuan, et al.
Publicado: (2024)

Improving Smart Contract Security with Contrastive Learning-based Vulnerability Detection
por: Chen, Yizhou, et al.
Publicado: (2024)

The Dark Side of Upgrades: Uncovering Security Risks in Smart Contract Upgrades
por: Wang, Dingding, et al.
Publicado: (2025)

SmartBugBert: BERT-Enhanced Vulnerability Detection for Smart Contract Bytecode
por: Bu, Jiuyang, et al.
Publicado: (2025)

Interaction-Aware Vulnerability Detection in Smart Contract Bytecodes
por: Li, Wenkai, et al.
Publicado: (2024)

BitMLx: Secure Cross-chain Smart Contracts For Bitcoin-style Cryptocurrencies
por: Badaloni, Federico, et al.
Publicado: (2025)

USCSA: Evolution-Aware Security Analysis for Proxy-Based Upgradeable Smart Contracts
por: Li, Xiaoqi, et al.
Publicado: (2025)

Bridging Immutability with Flexibility: A Scheme for Secure and Efficient Smart Contract Upgrades
por: Hossain, Tahrim, et al.
Publicado: (2025)

SmartShift: A Secure and Efficient Approach to Smart Contract Migration
por: Hossain, Tahrim, et al.
Publicado: (2025)

Malicious Code Detection in Smart Contracts via Opcode Vectorization
por: Zou, Huanhuan, et al.
Publicado: (2025)

NATLM: Detecting Defects in NFT Smart Contracts Leveraging LLM
por: Niu, Yuanzheng, et al.
Publicado: (2025)

Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
por: Nassirzadeh, Behkish, et al.
Publicado: (2021)

CrossLink: A Decentralized Framework for Secure Cross-Chain Smart Contract Execution
por: Hossain, Tahrim, et al.
Publicado: (2025)

Commit-Reveal$^2$: Securing Randomness Beacons with Randomized Reveal Order in Smart Contracts
por: Lee, Suhyeon, et al.
Publicado: (2025)

BlockMEDC: Blockchain Smart Contracts for Securing Moroccan Higher Education Digital Certificates
por: Fartitchou, Mohamed, et al.
Publicado: (2024)

Generative Large Language Model usage in Smart Contract Vulnerability Detection
por: Ince, Peter, et al.
Publicado: (2025)

Vision-Based Learning for Cyberattack Detection in Blockchain Smart Contracts and Transactions
por: Son, Do Hai, et al.
Publicado: (2025)

Adaptive Plan-Execute Framework for Smart Contract Security Auditing
por: Wei, Zhiyuan, et al.
Publicado: (2025)

SmartIntentNN: Towards Smart Contract Intent Detection
por: Huang, Youwei, et al.
Publicado: (2022)

Exposing Hidden Backdoors in NFT Smart Contracts: A Static Security Analysis of Rug Pull Patterns
por: Pathade, Chetan, et al.
Publicado: (2025)

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

Enhancing Smart Contract Vulnerability Detection in DApps Leveraging Fine-Tuned LLM
por: Bu, Jiuyang, et al.
Publicado: (2025)

TaintSentinel: Path-Level Randomness Vulnerability Detection for Ethereum Smart Contracts
por: Rezaei, Hadis, et al.
Publicado: (2025)

Detect Llama -- Finding Vulnerabilities in Smart Contracts using Large Language Models
por: Ince, Peter, et al.
Publicado: (2024)

HCC: A Language-Independent Hardening Contract Compiler for Smart Contracts
por: Giesen, Jens-Rene, et al.
Publicado: (2022)

Demystifying Invariant Effectiveness for Securing Smart Contracts
por: Chen, Zhiyang, et al.
Publicado: (2024)

Re-Evaluating EVMBench: Are AI Agents Ready for Smart Contract Security?
por: Peng, Chaoyuan, et al.
Publicado: (2026)

FLAMES: Fine-tuning LLMs to Synthesize Invariants for Smart Contract Security
por: Eshghie, Mojtaba, et al.
Publicado: (2025)

A Language for Smart Contracts with Secure Control Flow (Technical Report)
por: Yao, Siqiu, et al.
Publicado: (2024)

LogicScan: An LLM-driven Framework for Detecting Business Logic Vulnerabilities in Smart Contracts
por: Gao, Jiaqi, et al.
Publicado: (2026)

ScamDetect: Towards a Robust, Agnostic Framework to Uncover Threats in Smart Contracts
por: De Rosa, Pasquale, et al.
Publicado: (2025)

Security Vulnerabilities in Ethereum Smart Contracts: A Systematic Analysis
por: Wu, Jixuan, et al.
Publicado: (2025)