:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Zhou, Yichen, Li, Chenxing, Long, Fan
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	https://arxiv.org/abs/2507.20554
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

PhishingHook: Catching Phishing Ethereum Smart Contracts leveraging EVM Opcodes
by: De Rosa, Pasquale, et al.
Published: (2025)

A Systematic Classification of Vulnerabilities in MoveEVM Smart Contracts (MWC)
by: Topal, Selçuk
Published: (2025)

An Explainable AI Model for the Detecting Malicious Smart Contracts Based on EVM Opcode Based Features
by: Surendran, Roopak
Published: (2025)

Instrumenting Transaction Trace Properties in Smart Contracts: Extending the EVM for Real-Time Security
by: Chen, Zhiyang, et al.
Published: (2024)

Silentflow: Leveraging Trusted Execution for Resource-Limited MPC via Hardware-Algorithm Co-design
by: Li, Zhuoran, et al.
Published: (2025)

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

LRD-MPC: Efficient MPC Inference through Low-rank Decomposition
by: Tang, Tingting, et al.
Published: (2026)

SoK: Demystifying the multiverse of MPC protocols
by: De Viti, Roberta, et al.
Published: (2025)

MPCache: MPC-Friendly KV Cache Eviction for Efficient Private LLM Inference
by: Zeng, Wenxuan, et al.
Published: (2025)

PRIVMARK: Private Large Language Models Watermarking with MPC
by: Fargues, Thomas, et al.
Published: (2025)

DT-SIM: Property-Based Testing for MPC Security
by: Bates, Mako, et al.
Published: (2024)

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

Robust and Verifiable MPC with Applications to Linear Machine Learning Inference
by: Wang, Tzu-Shen, et al.
Published: (2025)

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

SseRex: Practical Symbolic Execution of Solana Smart Contracts
by: Cloosters, Tobias, et al.
Published: (2026)

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

MPC-Minimized Secure LLM Inference
by: Rathee, Deevashwer, et al.
Published: (2024)

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

Language-Based Security for Low-Level MPC
by: Skalka, Christian, et al.
Published: (2024)

Breaking the Layer Barrier: Remodeling Private Transformer Inference with Hybrid CKKS and MPC
by: Xu, Tianshi, et al.
Published: (2025)

The Matrix Subcode Equivalence problem and its application to signature with MPC-in-the-Head
by: Bardet, Magali, et al.
Published: (2025)

Beyond Latency: A System-Level Characterization of MPC and FHE for PPML
by: Huang, Pengzhi, et al.
Published: (2026)

SmartPoC: Generating Executable and Validated PoCs for Smart Contract Bug Reports
by: Chen, Longfei, et al.
Published: (2025)

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

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

SMT-Boosted Security Types for Low-Level MPC
by: Skalka, Christian, et al.
Published: (2025)

Token Composition: A Graph Based on EVM Logs
by: Harrigan, Martin, et al.
Published: (2024)

A Failure-Free and Efficient Discrete Laplace Distribution for Differential Privacy in MPC
by: Tjuawinata, Ivan, et al.
Published: (2025)

MOZAIK: A Privacy-Preserving Analytics Platform for IoT Data Using MPC and FHE
by: Van Kenhove, Michiel, et al.
Published: (2026)

Large-Scale MPC: Scaling Private Iris Code Uniqueness Checks to Millions of Users
by: Bloemen, Remco, et al.
Published: (2024)

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

Covert Attacks on Machine Learning Training in Passively Secure MPC
by: Jagielski, Matthew, et al.
Published: (2025)

MPC in the Quantum Head (or: Superposition-Secure (Quantum) Zero-Knowledge)
by: Coladangelo, Andrea, et al.
Published: (2025)

Ditto: Quantization-aware Secure Inference of Transformers upon MPC
by: Wu, Haoqi, et al.
Published: (2024)

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

LLM-BSCVM: An LLM-Based Blockchain Smart Contract Vulnerability Management Framework
by: Jin, Yanli, et al.
Published: (2025)

Enforcing Control Flow Integrity on DeFi Smart Contracts
by: Chen, Zhiyang, et al.
Published: (2025)

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

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

Benchmarking ZK-Friendly Hash Functions and SNARK Proving Systems for EVM-compatible Blockchains
by: Guo, Hanze, et al.
Published: (2024)