PhD Student
Georgia Tech
Biography
I am a CS PhD student supervised by Prof. Taesoo Kim in the SSLab at Georgia Tech.
My research interests include software security, software verification, and software engineering. More generally, I care about the security and correctness of software.
Before joing Georgia Tech, I was a research assitant at Acaedmia Sinica, the top research institute in Taiwan. I got my bechalor degree in computer science from National Chiao Tung University.
Interests
- Software Security
- Software Verification
- Software Engineering
Education
PhD in Computer Science, 2020 ~ Present
Georgia Institute of Technology, U.S.
BSc in Computer Science, 2019
National Chiao Tung University, Taiwan
News
- Glad to join AEC for NDSS 2024.
- autofz accepted to USENIX Security 2023
- Two papers accepted to CVA 2023
- CoqQFBV accepted to CAV 2021
- GCC2Cryptoline accepted to ACM CCS 2019
Experience
Research Assistant
Academia Sinica
Summer Research Intern
Academia Sinica
Undergraduate Research
National Chiao Tung University
Publications
autofz: Automated Fuzzer Composition at Runtime
Fuzzing has gained in popularity for software vulnerability detection by virtue of the tremendous effort to develop a diverse set of …
CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver
Signed Cryptographic Program Verification with Typed CryptoLine
Awards
Selected
Finalist (12th place) - DEFCON CTF Final 26
Silver Medal - ACM ICPC 2017 Hua-Lien Regional Contest - Hua-Lien, Taiwan
Honorable Mention - ACM ICPC 2017 Asia Jakarta Regional Contest - Jakarta, Indonesia
14th Place – National Collegiate Programming Contest – Taipei, Taiwan
Academic Achivement Awards (Dean’s List Award) * 7
Top 5% students in a class.
Awarded in all my semesters in NCTU.