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

Experience

 
 
 
 
 

Research Assistant

Academia Sinica

Oct 2018 – May 2020 Taipei, Taiwan
supervised by Bow-Yaw Wang and Bo-Yin Yang at the formal method and programming language laboratory.
 
 
 
 
 

Summer Research Intern

Academia Sinica

Jul 2018 – Aug 2018 Taipei, Taiwan
 
 
 
 
 

Undergraduate Research

National Chiao Tung University

Feb 2018 – Jan 2019 Hsinchu, Taiwan

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 …

Yu-Fu Fu, Jaehyuk Lee, Taesoo Kim
autofz

CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver

We present a certified SMT QF BV solver CoqQFBV built from a verified bit blasting algorithm, Kissat, and the verified SAT certificate …
Xiaomu Shi, Yu-Fu Fu, Jiaxiang Liu, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
PDF Coq-QFBV

Signed Cryptographic Program Verification with Typed CryptoLine

We develop an automated formal technique to specify and verify signed computation in cryptographic programs. In addition to new …
Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
PDF Slides DOI CryptoLine GCC2CryptoLine

Awards

Selected

Finalist (12th place) - DEFCON CTF Final 26

DEFCON CTF Aug 2018
In team BFS

Silver Medal - ACM ICPC 2017 Hua-Lien Regional Contest - Hua-Lien, Taiwan

ACM ICPC Nov 2017

Honorable Mention - ACM ICPC 2017 Asia Jakarta Regional Contest - Jakarta, Indonesia

ACM ICPC Nov 2017

14th Place – National Collegiate Programming Contest – Taipei, Taiwan

Ministry of Education Oct 2017

Academic Achivement Awards (Dean’s List Award) * 7

National Chiao Tung University Sep 2015 – Jan 2019

Top 5% students in a class.

Awarded in all my semesters in NCTU.

Contact

  • United States