:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Lee, Suhyeon, Gee, Euisin, Soroush, Najmeh, Bingol, Muhammed Ali, Huang, Kaibin
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	https://arxiv.org/abs/2504.03936
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Implementation Study of Cost-Effective Verification for Pietrzak's Verifiable Delay Function in Ethereum Smart Contracts
by: Lee, Suhyeon, et al.
Published: (2024)

Revealing Adversarial Smart Contracts through Semantic Interpretation and Uncertainty Estimation
by: Liu, Yating, et al.
Published: (2025)

Economic Security of VDF-Based Randomness Beacons: Models, Thresholds, and Design Guidelines
by: Shang, Zhenhang, et al.
Published: (2026)

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

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

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

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

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

BugMagnifier: TON Transaction Simulator for Revealing Smart Contract Vulnerabilities
by: Yanovich, Yury, et al.
Published: (2025)

Trained Random Forests Completely Reveal your Dataset
by: Ferry, Julien, et al.
Published: (2024)

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

A Comment on "e-PoS: Making PoS Decentralized and Fair"
by: Lee, Suhyeon, et al.
Published: (2025)

Inside Qubic's Selfish Mining Campaign on Monero: Evidence, Tactics, and Limits
by: Lee, Suhyeon, et al.
Published: (2025)

A Risk-Stratified Benchmark Dataset for Bad Randomness (SWC-120) Vulnerabilities in Ethereum Smart Contracts
by: Rezaei, Hadis, et al.
Published: (2026)

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)

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

RANDAO-based RNG: Last Revealer Attacks in Ethereum 2.0 Randomness and a Potential Solution
by: Son, Do Hai, et al.
Published: (2024)

Hollow Victory: How Malicious Proposers Exploit Validator Incentives in Optimistic Rollup Dispute Games
by: Lee, Suhyeon
Published: (2025)

180 Days After EIP-4844: Will Blob Sharing Solve Dilemma for Small Rollups?
by: Lee, Suhyeon
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)

Enhancing Password Security Through a High-Accuracy Scoring Framework Using Random Forests
by: Mazelan, Muhammed El Mustaqeem, 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)

A Tip for IOTA Privacy: IOTA Light Node Deanonymization via Tip Selection
by: Yang, Hojung, et al.
Published: (2024)

The Cost of Quantum Resistance: A Hash-Based Commit-Reveal Alternative for Minimizing Blockchain Infrastructure Overhead
by: Finlow-Bates, Keir, et al.
Published: (2026)

TraceLLM: Security Diagnosis Through Traces and Smart Contracts in Ethereum
by: Wang, Shuzheng, et al.
Published: (2025)

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

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

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

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)

Looking for Attention: Randomized Attention Test Design for Validator Monitoring in Optimistic Rollups
by: Lee, Suhyeon, et al.
Published: (2025)

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

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

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

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

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