Who is f0rm2l1n? What a werid name?

In fact, I choose this weird word just because it consists of “forma” plus “lin”. The former one reminds people of the famous sherlock holmes (in Chinese pronunciation….) while the other happens to be my first name.

Anyhow, it make senses for me.

I am a student, enjoying + suffering from fighting for the doctor’s degree at ICSR, ZJU in Hangzhou, China, under the supervision of Prof. Yajin (Andy) Zhou.

Moreover, I am currently involved as a research intern in Ant Security Light-Year Lab, focusing on finding vulnerabilities in kernel.

Moreover, I like the CTF game for its coolness and I also play for my school band: Azure Assassin Alliance.


It’s hard to balance the time between researching and CTFing, also a bunch of other things, girlfriend included. Though life is so cruel, we have to be happy :D.

By the way, I was married already, feel sorry for the girls I have not met ever :D


However, I have not yet found the Dream lover (bug). I guess it is okay as a researcher but not cool at all for a security researcher. Keep going f0rm2l1n.

Publications & Awards


[.] Ma, Lin , et al. “When Top-down Meets Bottom-up: Detecting and Exploiting Use-After-Cleanup Bugs in Linux Kernel” IEEE Symposium on Security and Privacy 2023.

CUAF is difficult, while UAC is somewhat easier, check out the paper.


[.] Ma, Lin , et al. “Atlas: A First Step Toward Multipath Validation.” Computer Networks (2020):107224.

That is my first paper ;P, about path validation algorithm. The click router is an interesting emulator that you can try on.

[.] Qiang Liu^, Cen Zhang^, Lin Ma , et al. “FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution”. AES 2021

[.] Muhui Jiang, Lin Ma , et al. ECMO: Peripheral Transplantation to Rehost Embedded Linux Kernels. CCS 2021

Enter the lab, help the seniors do some experiments, and learn the spirit from them.

[.] Lin Ma, et al. “Revisiting Challenges for Selective Data Protection of Real Applications.” APSys 2021

My paper for the Undergraduate


I have been the TA for the courses “SSEC: Software-Security” for many years, you can check them at

I have also been one of the mman at the wheel for our school summer courses about basic CTF, please check them at