Cover Image

Survey on Quality Assurance of Smart Contracts

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wei, Zhiyuan, Sun, Jing, Zhang, Zijian, Zhang, Xianhao, Yang, Xiaoxuan, Zhu, Liehuang
Format:	Preprint
Published:	2023
Subjects:	Cryptography and Security Distributed, Parallel, and Cluster Computing
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Comparative Evaluation of Automated Analysis Tools for Solidity Smart Contracts
by: Wei, Zhiyuan, et al.
Published: (2023)

EVeCA: Efficient and Verifiable On-Chain Data Query Framework Using Challenge-Based Authentication
by: Shen, Meng, et al.
Published: (2024)

Collaborative Learning Framework to Detect Attacks in Transactions and Smart Contracts
by: Khoa, Tran Viet, et al.
Published: (2023)

Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts
by: Chahoki, Atefeh Zareh, et al.
Published: (2025)

No Vandalism: Privacy-Preserving and Byzantine-Robust Federated Learning
by: Xing, Zhibo, et al.
Published: (2024)

SEAM: A Secure Automated and Maintainable Smart Contract Upgrade Framework
by: Hossain, Tahrim, et al.
Published: (2024)

A DLT-based Smart Contract Architecture for Atomic and Scalable Trading
by: Kalbantner, J., et al.
Published: (2021)

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

Reliability Analysis of Smart Contract Execution Architectures: A Comparative Simulation Study
by: Gürcan, Önder
Published: (2025)

Automated Gateways: A Smart Contract-Powered Solution for Interoperability Across Blockchains
by: Khorasani, Koosha Esmaeilzadeh, et al.
Published: (2024)

LiFeChain: Lightweight Blockchain for Secure and Efficient Federated Lifelong Learning in IoT
by: Chen, Handi, et al.
Published: (2025)

From Paradigm Shift to Audit Rift: Empirical Analysis and Validation of Security Audit Methodologies for Asynchronous Smart Contract Systems
by: Yanovich, Yury, et al.
Published: (2025)

Proof of Cloud: Data Center Execution Assurance for Confidential VMs
by: Rezabek, Filip, et al.
Published: (2025)

Smart Contracts for SMEs and Large Companies
by: Liu, C. G., et al.
Published: (2025)

Versioned Analysis of Software Quality Indicators and Self-admitted Technical Debt in Ethereum Smart Contracts with Ethstractor
by: Hassan, Khalid, et al.
Published: (2024)

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

LiteChain: A Lightweight Blockchain for Verifiable and Scalable Federated Learning in Massive Edge Networks
by: Chen, Handi, et al.
Published: (2025)

Haina Storage: A Decentralized Secure Storage Framework Based on Improved Blockchain Structure
by: Zhou, Zijian, et al.
Published: (2024)

Binary Linear Tree Commitment-based Ownership Protection for Distributed Machine Learning
by: Xie, Tianxiu, et al.
Published: (2024)

SVAFD: A Secure and Verifiable Co-Aggregation Protocol for Federated Distillation
by: Wen, Tian, et al.
Published: (2025)

Dumbo-NG: Fast Asynchronous BFT Consensus with Throughput-Oblivious Latency
by: Gao, Yingzi, et al.
Published: (2022)

SoK: A Survey of Mixing Techniques and Mixers for Cryptocurrencies
by: Mariani, Juraj, et al.
Published: (2025)

A Survey of Recent Advancements in Secure Peer-to-Peer Networks
by: Patel, Raj, et al.
Published: (2025)

Service Level Agreements and Security SLA: A Comprehensive Survey
by: Nicolazzo, Serena, et al.
Published: (2024)

Security Vulnerabilities in Quantum Cloud Systems: A Survey on Emerging Threats
by: Coupel, Justin, et al.
Published: (2025)

The Future of Fully Homomorphic Encryption System: from a Storage I/O Perspective
by: Chen, Lei, et al.
Published: (2025)

A Comprehensive Survey on Green Blockchain: Developing the Next Generation of Energy Efficient and Sustainable Blockchain Systems
by: Fernández-Caramés, Tiago M., et al.
Published: (2024)

A Hitchhiker's Guide to Privacy-Preserving Digital Payment Systems: A Survey on Anonymity, Confidentiality, and Auditability
by: Nardelli, Matteo, et al.
Published: (2025)

Securing AI Agents in Cyber-Physical Systems: A Survey of Environmental Interactions, Deepfake Threats, and Defenses
by: Hatami, Mohsen, et al.
Published: (2026)

Drawing the boundaries between Blockchain and Blockchain-like systems: A Comprehensive Survey on Distributed Ledger Technologies
by: Bellaj, Badr, et al.
Published: (2024)

Towards Resilient Federated Learning in CyberEdge Networks: Recent Advances and Future Trends
by: Li, Kai, et al.
Published: (2025)

PolyLink: A Blockchain Based Decentralized Edge AI Platform for LLM Inference
by: Liu, Hongbo, et al.
Published: (2025)

DarkFed: A Data-Free Backdoor Attack in Federated Learning
by: Li, Minghui, et al.
Published: (2024)

PPFPL: Cross-silo Privacy-preserving Federated Prototype Learning Against Data Poisoning Attacks
by: Zhang, Hongliang, et al.
Published: (2025)

FedGuard: A Diverse-Byzantine-Robust Mechanism for Federated Learning with Major Malicious Clients
by: Jiang, Haocheng, et al.
Published: (2025)

Federated Analytics-Empowered Frequent Pattern Mining for Decentralized Web 3.0 Applications
by: Wang, Zibo, et al.
Published: (2024)

PCDM: A Diffusion-Based Data Poisoning Attack Against Federated Learning Systems
by: Sun, Wei, et al.
Published: (2026)

JUMBO: Fully Asynchronous BFT Consensus Made Truly Scalable
by: Cheng, Hao, et al.
Published: (2024)

SpiralShard: Highly Concurrent and Secure Blockchain Sharding via Linked Cross-shard Endorsement
by: Lin, You, et al.
Published: (2024)

AsyncSC: An Asynchronous Sidechain for Multi-Domain Data Exchange in Internet of Things
by: Yang, Lingxiao, et al.
Published: (2024)