Dr. Minh Thai Trinh

Dr. Minh Thai Trinh
Senior Research Scientist

Ph.D. in Computer Science from National University of Singapore

Research Interest:

My research interest lies at the intersection of Formal Methods (including Automated Reasoning, Program Verification/Analysis/Testing/Synthesis) and Cybersecurity (including Web, Cyber Physical Systems, Network, IoT, BlockChain and AI Security).

Research Grant:

• Academic Research Council, Ministry of Education , Co-PI , Efficient String Reasoning for Software Vulnerability Detection, SGD550,000 (2021-2024)

Selected Publications:
(Also available at https://orcid.org/0000-0002-5716-9400)

• Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier [Paper] [Tool]
  Xiaohong Chen, Zhengyao Lin, Minh-Thai Trinh, John Wang, and Grigore Rosu
  Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA1, 2023.

• Towards a Trustworthy Semantics-Based Language Framework via Proof Generation [Paper] [Tool]
  Xiaohong Chen, Zhengyao Lin, Minh-Thai Trinh, and Grigore Rosu
  33th International Conference on Computer Aided Verification (CAV'21).

• Inter-theory Dependency Analysis for SMT String Solvers [Paper] [Tool]
  Minh-Thai Trinh, Duc-Hiep Chu, and Joxan Jaffar
  Proceedings of the ACM on Programming Languages, Volume 4, Issue OOPSLA, 2020

• Towards a Unified Proof Framework for Automated Fixpoint Reasoning using Matching Logic [Paper] [Tool]
  Xiaohong Chen, Minh-Thai Trinh, Nishant Rodrigues, Lucas Pena, and Grigore Rosu
  Proceedings of the ACM on Programming Languages, Volume 4, Issue OOPSLA, 2020.
• Model Counting for Recursively-Defined Strings [Paper] [Tool]
  Minh-Thai Trinh, Duc-Hiep Chu, and Joxan Jaffar
  29th International Conference on Computer Aided Verification (CAV'17).
• Progressive Reasoning over Recursively-Defined Strings [Paper] [Slide] [Tool]
  Minh-Thai Trinh, Duc-Hiep Chu, and Joxan Jaffar
  28th International Conference on Computer Aided Verification (CAV'16).

• Automatic Induction Proofs of Data-Structures in Imperative Programs [Paper]
  Duc-Hiep Chu, Joxan Jaffar, and Minh-Thai Trinh
  36th annual ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI'15).

• S3: A Symbolic String Solver for Vulnerability Detection in Web Applications [Paper] [Slide] [Tool]
  Minh-Thai Trinh, Duc-Hiep Chu, and Joxan Jaffar
  21st ACM Conference on Computer and Communications Security (CCS'14).
• Bi-Abduction with Pure Properties for Specification Inference [Paper] [Tool]
  Minh-Thai Trinh, Quang Loc Le, Cristina David, and Wei-Ngan Chin
  11th Asian Symposium on Programming Languages and Systems (APLAS'13).
• FixBag: A Fixpoint Calculator for Quantified Bag Constraints [Paper] [Tool]
  Tuan-Hung Pham, Minh-Thai Trinh, Anh-Hoang Truong, and Wei-Ngan Chin
  23th International Conference on Computer Aided Verification (CAV'11).

Website: https://trinhmt.github.io/home/