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.

AAA_logo.jpg

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.

Bugs

  • Linux:
    • CVE-2021-3573 and other CVEs in the kernel network stacks

(wants more, wants more)

Publications & Awards

2020

[.] 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