← Search

Jason Zeng

2 accepted papers

2026

Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents

ICML 2026poster

Consensus protocols form the backbone of distributed systems and blockchains, where implementation bugs can cause data corruption and financial losses. While LLM-based approaches show promise in code analysis, they struggle with deep protocol-level logic bugs involving complex state-dependent behavi…

Cited by 0SourceScholar
2025

Mind the Cost of Scaffold! Benign Clients May Even Become Accomplices of Backdoor Attack

ICCV 2025poster

By using a control variate to calibrate the local gradient of each client, Scaffold has been widely known as a powerful solution to mitigate the impact of data heterogeneity in Federated Learning. Although Scaffold achieves significant performance improvements, we show that this superiority is at th…

Cited by 0SourcePDFScholar