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.

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.


(wants more, wants more)

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