:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Lewis, Myles, Crawford, Chris
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security
Online Access:	https://arxiv.org/abs/2401.01891
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Smart Contract Security Beyond Detection
by: Abdelaziz, Tamer
Published: (2026)

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

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

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

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

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

Towards Secure and Trusted-by-Design Smart Contracts
by: Dargaye, Zaynah, et al.
Published: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

An Empirical Analysis of EOS Blockchain: Architecture, Contract, and Security
by: Liu, Haiyang, et al.
Published: (2025)

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

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

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

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

Benchmarking LLM-Based Static Analysis for Secure Smart Contract Development: Reliability, Limitations, and Potential Hybrid Solutions
by: Susan, Stefan-Claudiu, et al.
Published: (2026)

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

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

Characterizing Ethereum Upgradable Smart Contracts and Their Security Implications
by: Li, Xiaofan, et al.
Published: (2024)

EVMbench: Evaluating AI Agents on Smart Contract Security
by: Wang, Justin, et al.
Published: (2026)

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

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

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

Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?
by: Chaliasos, Stefanos, et al.
Published: (2023)

Temporarily Restricting Solidity Smart Contract Interactions
by: Callens, Valerian, et al.
Published: (2024)

Exploring Vulnerabilities and Concerns in Solana Smart Contracts
by: Wu, Xiangfan, et al.
Published: (2025)

Fuzz on the Beach: Fuzzing Solana Smart Contracts
by: Smolka, Sven, et al.
Published: (2023)

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

Model Context Contracts - MCP-Enabled Framework to Integrate LLMs With Blockchain Smart Contracts
by: Bandara, Eranga, et al.
Published: (2025)

FlexiContracts: A Novel and Efficient Scheme for Upgrading Smart Contracts in Ethereum Blockchain
by: Hossain, Tahrim, et al.
Published: (2025)

Constructing Trustworthy Smart Contracts
by: Chait-Roth, Devora, et al.
Published: (2024)