Hiroyuki Katsura

Research Associate at University of Cambridge

Hiroyuki Katsura (桂 宏行)

I’m currently a Research Associate at University of Cambridge, working with Prof. Peter Sewell in the REMS group. I completed my PhD at the University of Tokyo under the supervision of Prof. Naoki Kobayashi, where I focused on logic-based automated verification for higher-order programs. My primary research interests lie in program analyses to improve software reliability, including automated program verification (in particular, fixpoint logic solvers), type theory, and software security techniques such as fuzzing.

Contacts

Publications

Education

Experience

Grants

Teaching Assistants

I have been a teaching assistant three times at Dept. of Information Science, School of Science, The University of Tokyo.

Internships

Projects

CTF (Capture The Flag; Software Security Competition)

I have been playing CTFs as a member of an university team TSG whose team members are all from The University of Tokyo. Sometimes, I join in larger teams to compete large contests like DEFCON. I mainly play pwnable (binary exploit) and reversing.

Here are some of my achievements in CTF contests. Note that due to the collaborative nature of CTFs, my individual contribution varied from one CTF to another :)

My CTF Challenges

I have created a lot of CTF challenges so far from easy one to harder one: please refer to this page　(TBD).

My favorite ones are

Random collection of my writeups of my challenges:

Other Activities

ISUCON

ISUCON is a Japanese contest held by LINE corp, where participants aim to fine-tune a given web service within set regulations. I have played ISUCON six times as a member of FetchDecodeExecWrite.

Security Camp

Hobbies

Apart from researching, I’m a big fan of