Tai D. Nguyen | Singapore Management University

About Me

I am currently a Research Scientist at SMU where I work in the field of AI Security. I obtained my PhD in computer science from Singapore Management University (SMU), under the supervision of Prof. Sun Jun. Prior to this, I went to VNU HCM for my BSc in computer science. I’ve been employed as a software engineer for five years, during which time I have led many projects. Among them, Lumin stands out as the most successful project under my leadership.

Research Interests

Formal methods
Smart contracts security
AI security

News

[Feb. 2024] embark on a new career path as a research scientist.

Publications

ICFEM

An idealist’s approach for smart contract correctness

Tai D. Nguyen, Long H. Pham, Jun Sun, Quang Loc Le

24th International Conference on Formal Engineering Methods (ICEFM), 2023.

PDF Code BibTex Main Track

S&P

SGUARD: Towards Fixing Vulnerable Smart Contracts Automatically

Tai D. Nguyen, Long H. Pham, Jun Sun

IEEE Symposium on Security and Privacy (S&P), 2021.

PDF Code BibTex Main Track

ICSE

sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts

Tai D. Nguyen, Long H. Pham, Jun Sun, Yun Lin, Quang Tran Minh

International Conference on Software Engineering (ICSE), 2020.

PDF Code BibTex Main Track

Preprints

Arvix

Fuzzing with Quantitative and Adaptive Hot-Bytes Identification

Tai D. Nguyen, Long H. Pham, Jun Sun

PDF BibTex Under Submission

Arvix

SPAIR: Towards Repairing Smart Contract Specification

Tai D. Nguyen, Long H. Pham, Jun Sun, Fu Song, Yan Wan

Code Under Submission

Services

Journal Reviewers

Awards

SMU Dean’s List, AY2020/2021.
SMU Presidential Doctoral Fellowship in Computing, AY2021/2022.
SMU Presidential Doctoral Fellowship in Computing, AY2020/2021.
Full Scholarship for the Ph.D. study, 2019 - 2023.