Skip to content
View Koukyosyumei's full-sized avatar
🔐
Working on ZKP
🔐
Working on ZKP
45 followers · 10 following

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Starstruckx2Achievement: Pull Sharkx3Achievement: YOLO

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Starstruckx2Achievement: Pull Sharkx3Achievement: YOLO

Highlights

  • Pro

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only 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 first-year Ph.D. student in Computer Science at Columbia University, currently focusing on Zero Knowledge Proofs.

🚀 Notable Projects

  • AIJack: Security risk simulator for machine learning (300+ stars on GitHub, referenced in 8+ papers)
  • rhoevm: Symbolic EVM execution engine in Rust to uncover Ethereum smart contract vulnerabilities
  • MyDisassembler Disassembler for X86-64 implemented from scratch

📄 Selected Publications

  • [AAMAS '24] 🚗: On the Transit Obfuscation Problem, w/ Alex Fukunaga
  • [ICLR '24] 🌳: VFLAIR: Benchmark for Vertical Federated Learning, w/ Tianyuan Zou, Zixuan Gu, et al.
  • [CVPR '23] 🎥: Breaching FedMD, Image Recovery via Paired-Logits Inversion Attack, w/ Jingjing Liu & Yang Liu
    View my full list on Semantic Scholar | Google Scholar

Pinned Loading

  1. AIJack AIJack Public

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

    C++ 363 61

  2. FLAIR-THU/PairedLogitsInversion FLAIR-THU/PairedLogitsInversion Public

    Implementation of "Breaching FedMD: Image Recovery via Paired-Logits Inversion Attack" (CVPR 2023)

    Python 4

  3. TOP TOP Public

    Code for "On the Transit Obfuscation Problem" (AAMAS 2024)

    C++ 4 1

  4. Gymbo Gymbo Public

    gradient-based symbolic execution engine implemented from scratch

    C++ 35

  5. rhoevm rhoevm Public

    symbolic EVM execution engine written in Rust

    Rust 2

  6. MyDisassembler MyDisassembler Public

    Disassembler for X86-64 implemented from scratch in C++

    C++ 25