Ren Kimura
Kobe University (M2)

Mail: rkx1209[at]

Twitter: rkx1209

Github: rkx1209




I am an 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

    Experimental Nintendo Switch emulator
  • 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…


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


OSS activities

Work experience

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


  • 2017 March
    Bachelor of Computer Science, Kobe University, Hyogo Japan
  • 2018 October-2019 September
    Visiting researcher at Carnegie Mellon University CyLab, Pitsuburg America