Skip to content
View Koukyosyumei's full-sized avatar
136 followers · 18 following

Achievements

Achievement: Pair Extraordinairex4Achievement: Starstruckx3Achievement: Pull Sharkx4Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pair Extraordinairex4Achievement: Starstruckx3Achievement: Pull Sharkx4Achievement: QuickdrawAchievement: YOLO

Highlights

Block or report Koukyosyumei

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Koukyosyumei/README.md

Hideaki Takahashi 🌍

I’m a Ph.D. student in Computer Science at Columbia University working on software security, cryptography, and agentic systems.

Keywords: Software Testing, AI, Fuzzing, Formal Verification, Microkernel, Cryptography, Zero Knowledge Proof, Rust, Lean4

🚀 Featured Projects

Project Description Stars
h5i The Agent-Native Web Security Workspace GitHub stars
AIJack Security risk simulator for machine learning (10K+ downloads, referenced in 10+ papers) GitHub stars
zkFuzz ZK circuit fuzzer (IEEE S&P'26, 60+ confirmed bugs) GitHub stars
MyZKP Tutorial e-book to implement zero-knowledge proofs from scratch using Rust and CUDA. GitHub stars

📄 Selected Publications

  • [IEEE S&P '26] 0️⃣: zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits
    • Hideaki Takahashi, Jihwan Kim, Suman Jana, Junfeng Yang | paper | code
  • [CCS '26] 🦓: Efficient Branch-and-Bound Testing and Verification of zkVMs.
    • Hideaki Takahashi, Suman Jana, Junfeng Yang | paper | code
  • [AAMAS '24] 🚗: On the Transit Obfuscation Problem
    • Hideaki Takahashi, Alex Fukunaga | paper | code
  • [ICLR '24] 🌳: VFLAIR: Benchmark for Vertical Federated Learning
    • Tianyuan Zou, Zixuan Gu, Yu He, Hideaki Takahashi, Yang Liu, Ya-Qin Zhang | paper | code
  • [CVPR '23] 🎥: Breaching FedMD, Image Recovery via Paired-Logits Inversion Attack
    • Hideaki Takahashi, Jingjing Liu, and Yang Liu | paper | code

🐛 Selected Security Findings

AI Agent / MCP servers

Cryptography / Zero-Knowledge Proof

✍️ Pinned Blog Posts

  • Formal Verification of Blockchain Consensus Algorithms in Lean 4 | blog | code
  • Learning x86–64 Machine Language and Assembly by Implementing a Disassembler | blog | code

Pinned Loading

  1. h5i-dev/h5i h5i-dev/h5i Public

    An agent-native web security workspace. Find vulnerabilities through red-teaming. Formally verify properties of Rust codes in Lean 4.

    Rust 737 70

  2. AIJack AIJack Public

    Security and Privacy Risk Simulator for Machine Learning (arXiv:2312.17667)

    C++ 429 66

  3. h5i-dev/awesome-ai-agent-incidents h5i-dev/awesome-ai-agent-incidents Public

    A curated corpus of incidents, attack vectors, failure modes, and defensive tools for autonomous AI agents.

    56 16

  4. MyZKP MyZKP Public

    Building Zero Knowledge Proof from Scratch in Rust

    Rust 54 2

  5. zkFuzz zkFuzz Public

    ZK Circuit Fuzzer (IEEE S&P'26)

    Rust 45 4

  6. h5i-dev/e5r h5i-dev/e5r Public

    The Reverse Engineering Toolkit for AI Agents

    Rust 35 3