:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Minaei, Mohsen, Moreno-Sanchez, Pedro, Fang, Zhiyong, Raghuraman, Srinivasan, Alamati, Navid, Chatzigiannis, Panagiotis, Kumaresan, Ranjit, Le, Duc V.
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	https://arxiv.org/abs/2503.04260
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Lite-PoT: Practical Powers-of-Tau Setup Ceremony
by: Ng, Lucien K. L., et al.
Published: (2025)

Unlinkability and History Preserving Bisimilarity
by: Aubert, Clément, et al.
Published: (2026)

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

UPPRESSO: Untraceable and Unlinkable Privacy-PREserving Single Sign-On Services
by: Guo, Chengqian, et al.
Published: (2021)

SD-BLS: Privacy Preserving Selective Disclosure of Verifiable Credentials with Unlinkable Threshold Revocation
by: Roio, Denis, et al.
Published: (2024)

Monitoring the Future of Smart Contracts
by: Capretto, Margarita, et al.
Published: (2024)

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

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

SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection
by: Su, Jianzhong, et al.
Published: (2024)

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

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

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

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

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

Architectural Design for Secure Smart Contract Development
by: Lewis, Myles, 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)

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

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)

BPMN to Smart Contract by Business Analyst
by: Liu, C. G., et al.
Published: (2025)

Detecting Malicious Intents in Smart Contracts with Pre-trained Programming Language Models
by: Huang, Youwei, et al.
Published: (2025)

RaceTEE: Enabling Interoperability of Confidential Smart Contracts
by: Zhang, Keyu, et al.
Published: (2025)

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

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

Evaluating the Vulnerability Landscape of LLM-Generated Smart Contracts
by: Do, Hoang Long, et al.
Published: (2026)

Decompiling Smart Contracts with a Large Language Model
by: David, Isaac, et al.
Published: (2025)

BACKRUNNER: Mitigating Smart Contract Attacks in the Real World
by: Shou, Chaofan, et al.
Published: (2024)

From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines
by: Maxence, Lambard, et al.
Published: (2025)

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

SmartLLM: Smart Contract Auditing using Custom Generative AI
by: Kevin, Jun, et al.
Published: (2025)

ContractTinker: LLM-Empowered Vulnerability Repair for Real-World Smart Contracts
by: Wang, Che, et al.
Published: (2024)

Gradual Verification for Smart Contracts
by: Sun, Haojia, et al.
Published: (2023)

Smart Contract Languages: a comparative analysis
by: Bartoletti, Massimo, et al.
Published: (2024)

AI Agent Smart Contract Exploit Generation
by: Gervais, Arthur, et al.
Published: (2025)

Smart Contract Fuzzing Towards Profitable Vulnerabilities
by: Kong, Ziqiao, et al.
Published: (2025)

The Feasibility of a Smart Contract "Kill Switch"
by: Seneviratne, Oshani
Published: (2024)

Understanding and Characterizing Obfuscated Funds Transfers in Ethereum Smart Contracts
by: Sheng, Zhang, et al.
Published: (2025)

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