Profile

Ren Kimura
Kobe University (M1)

Mail: rkx1209[at]gmail.com

Twitter: rkx1209

Github: rkx1209

Linkedin: https://www.linkedin.com/in/ren-kimura-66b4b6131/

Speakerdeck: https://speakerdeck.com/rkx1209/

Blog(Japanese): http://rkx1209.hatenablog.com/

I am a University student in Japan, especially interested in system programming and security research. I am primarily focused on kernel, hypervisor, exploitation and something like that.

Main projects

  • Reverse Debugger for radare2
    You can now seek program counter back and forth by radare2. (My work in GSoC’17)
  • Gdbserver implmentation on BitVisor
    gdbserver implmentation on Type1 hypervisor using lwip. You can do remote system debugging on Guest OS from your local machine through lightweight hypervisor.
  • Kernel Analysis Platform
    WIP project. Platform that supports more efficient kernel analysis.
  • TinyLinux
    Mini Linux kernel implmentation from scatch
  • Dnscript
    Scripting language that is specialized in writing “danmaku” of shooting game.
  • C3
    SMT solver written in C
  • K2E
    coming soon…

Talks

  • Reverse Debugging with radare2 [r2con17]
    (slide), (video)
  • More efficient remote debugging with Thin Hypervisor [AVTOKYO17]
    (slide)
  • Kernel Analysis Platform based on Thin hypervisor [BitVisor Summit17 Guest Speaker]
    (slide)

Activities

OSS activities

Work experience

  • 2016 September, NTT secure platform lab (Internship)
  • 2017 August-September, Preferred Networks (Internship)