Shengjie Zhang

Automated Runtime Verification of Security for E-Commerce Smart Contracts

2025 · Journal of theoretical and applied electronic commerce research

As a novel decentralized computing paradigm, blockchain is expected to disrupt the existing e-commerce architecture and process. Secure smart contracts are the crucial foundation for e-commerce based on blockchain. However, vulnerabilities in smart contracts occur …