11
2
Hacking MCP Servers in AI Systems – The Rug Pull: Tool Changes After Approval (medium.com/koukyosyumei)
1
A curated corpus of incidents and attack vectors for autonomous AI agents (github.com/h5i-dev)
1
ZkFuzz Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits (computer.org)
1
From College Project to 400 GitHub Stars: The Story of AIJack (medium.com/koukyosyumei)
1
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4 (medium.com/koukyosyumei)
1
AIJack: Security and Privacy Risk Simulator for Machine Learning (arxiv.org)
1
Gymbo: Gradient-Based Symbolic Execution (github.com/koukyosyumei)
3
How should I manage and develop my open-source project?
4
AIJack: Security and Privacy Risk Simulator for Machine Learning
1