I am Wei Li, an exam-exempted master’s student who majors in cyberspace security at School of Cyber Engineering, Xidian University (XDU), China. I’m a former CTF player in L-team and XDSEC. My research interest falls in securing software systems via formal methods.

During my undergraduate education, I mostly focused on CTF competitions and extracurricular activities of the information security club XDSEC. By self-study and cooperation with my teammates, I have been granted a postgraduate recommendation due to my performance in information security-related competitions.

I’m currently teaching myself in the area of program logic and its related background knowledge. Here is my CV (pdf version):

Information

Email: wei.li@stu.xidian.edu.cn

Mobile: (+86) 189xxxxxxxx

Estimated Graduation Date: June 2024

Address: No. 266, Xinglong Section of Xifeng Road, Xi’an, Shaanxi, 710126, P. R. China

RESEARCH INTERESTS

  • Formal Method
    • Program Logics
    • Formal semantics

EDUCATION

  • M.Eng. (Current), Xidian University (XDU), Xi’an, Shaanxi, China

    • Major: Cyberspace Security, School of Cyber Engineering

  • B.Eng., Xidian University (XDU), Xi’an, Shaanxi, China

    • Major: Cyberspace Security (Experimental), School of Cyber Engineering

SELECTED AWARDS

  • 2019 National College Student Information Security Contest — Works Competition First prize
  • Awards in CTF competitions with my teammates (L-team):
    • DEFCON CHINA 2019 Final 5th
    • TCTF 2019 Final (Student category) 3rd
    • WCTF 2019 (Student category) 7th
    • …

TEACHING

  • Digital Logic Circuit Analysis and Design, (Sept 2021 – Dec 2021)
    • Teaching assistant, Xidian University (XDU)
  • Modern Cryptography, (Mar 2023 – Jun 2023)
    • Teaching assistant, Xidian University (XDU)
  • Competition Training Base of Cyber Security, (Sept 2020 - Dec 2022)
    • Teaching assistant and Organizing assistant, Xidian University (XDU)

RELEVANT SERVICES

  • National Middle School Student Cyber Security Competition (2021)
    • Guiding Unit: Teaching Steering Committee of Cyberspace Security Major in Higher Education Institutions of the Ministry of Education
    • Sponsor: Office of Shaanxi Provincial Internet Information & Xidian University
    • Role: Sponsor’s Head of Students
  • D^3CTF (2019) (A computer security competition)
    • Sponsor: Alibaba Security Response Center
    • Organizer: Information Security Clubs in XDU, UESTC, HDU
    • Role: One of the organizers
  • Changan Cup Electronic Data Forensics Competition (2021)
    • Sponsor: Shanghai Honglian Network Technology Co., Ltd.
    • Organizer: Competition Training Base of Cyber Security, XDU
    • Role: Sponsor’s Head of Students
  • LCTF, MoeCTF, MiniLCTF, etc. (2018-2021) (Computer security competitions for colleague students)
    • Sponsor: School of Cyber Engineering, XDU
    • Organizer: XDSEC
    • Role: One of the organizers

Extracurricular Activities

  • Information Security Club of Xidian University (XDSEC) (2017 - 2023)
    • Member and (later) the leader of the binary department (a department that focuses on vulnerabilities in all forms of software)
  • L-team (2018-2021) (A team that has participated in many competitions involving cyber security)
    • Member of the binary branch (a branch that focuses on vulnerabilities in all forms of software)
  • Contribution to a book named CTF-All-In-One (Pwn) (Chinese name: CTF竞赛权威指南(Pwn篇)), ISBN: 9787121399527
    • I wrote the analysis of malloc and free in ptmalloc (a memory management library adopted by glibc)
    • Acknowledged by the writer in the preface of the book