Dr. Minh Thai Trinh

Dr. Minh Thai Trinh
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/