Guangdong Bai

DEPOSafe: Demystifying the Fake Deposit Vulnerability in Ethereum Smart Contracts

2020 · arXiv (Cornell University)

Cryptocurrency has seen an explosive growth in recent years, thanks to the evolvement of blockchain technology and its economic ecosystem. Besides Bitcoin, thousands of cryptocurrencies have been distributed on blockchains, while hundreds of cryptocurrency exchanges …

Symbolic Security Verification of Mesh Commissioning Protocol in Thread (extended version)

2023 · arXiv (Cornell University)

The Thread protocol (or simply Thread ) is a popular networking protocol for the Internet of Things (IoT). It allows seamless integration of a set of applications and protocols, hence reducing the risk of incompatibility …

Practical Poisoning Attacks with Limited Byzantine Clients in Clustered Federated Learning

2025

The presence of non-independent and identically distributed (non-IID) data among clients poses a critical challenge to the deployment of Federated Learning (FL) in practice. In response, state-of-the-art solutions known as Clustered Federated Learning (CFL) schemes, …