Xin chào (Hello)! I am currently a Research Scientist at Singapore Management University (SMU), specializing in AI Security. I earned my PhD in Computer Science from SMU under the guidance of Prof. Sun Jun. Before that, I completed my BSc in Computer Science at VNU HCM. With five years of experience as a software engineer, I've led numerous projects. Notable among these, Lumin is the most successful project under my leadership.
Github | Linkedin | Google Scholar | CV
👉 duytai.cse (at) gmail.com
News
<aside>
📢
12/2024 - Attending NeurIPS 2024 in Vancouver, Canada
12/2024 - 2 papers have been accepted at TVCG 2024! 🎉
09/2024 - Our paper has been accepted at NeurIPS 2024! 🎉
07/2024 - Participated in Large Model Safety Workshop 2024
02/2024 - Embarked on a new career path as a Research Scientist
</aside>
Research Interests
- Formal Methods
- Blockchain Security
- AI Security
Arxiv
https://arxiv.org/abs/2307.02289
https://arxiv.org/abs/2410.00454
Selected Publications
- [TVCG 2024] *PrettiSmart: Visual Interpretation of Smart Contracts via Simulation* by Xiaolin Wen, Tai D. Nguyen, Shaolun Ruan, Qiaomu Shen, Jun Sun, Feida Zhu, and Yong Wang. Journal Q1
- [TVCG 2024] PonziLens+: Visualizing Bytecode Actions for Smart Ponzi Scheme Identification. Xiaolin Wen, Tai D Nguyen, Shaolun Ruan, Qiaomu Shen, Jun Sun, Feida Zhu, Yong Wang. Journal Q1
- [NeurIPS 2024] ALI-Agent: Assessing LLMs' Alignment with Human Values via Agent-based Evaluation. Jingnan Zheng, Han Wang, An Zhang, Tai D. Nguyen, Jun Sun, Tat-Seng Chua. Technical Track, CORE A*
- [ICFEM 2023] **** An idealist’s approach for smart contract correctness. Tai D. Nguyen, Long H. Pham, Jun Sun, Quang Loc Le. Technical Track, CORE B
- [SP 2021] SGUARD: Towards Fixing Vulnerable Smart Contracts Automatically. Tai D. Nguyen, Long H. Pham, Jun Sun. Technical Track, CORE A*
- [ICSE 2020] sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts. Tai D. Nguyen, Long H. Pham, Jun Sun, Yun Lin, Quang Tran Minh. Technical Track, CORE A*
Services