Stories by syumei

A curated corpus of incidents and attack vectors for autonomous AI agents

ZkFuzz Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits

From College Project to 400 GitHub Stars: The Story of AIJack

From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4

AIJack: Security and Privacy Risk Simulator for Machine Learning

Gymbo: Gradient-Based Symbolic Execution

How should I manage and develop my open-source project?

AIJack: Security and Privacy Risk Simulator for Machine Learning