PhD thesis

1. Li Xin (2004.4-2007.6)   Program Analysis based on Weighted Pushdown Model Checking
   
2. Li Guoqiang (2005.4-2008.3)   On-the-fly Model Checking of Security Protocols
   
3. Nguyen Van Tang (2006.4-2009.3)   Pushdown Automata and Inclusion Problems
   
4. Do Thi Bich Ngoc (2007.4-2010.9)   Combining Static Analysis and Testing for Overflow and Roundoff Error Detection
   
5. Dominik Klein (2008.7-2012.6)   Equational Reasoning and Completion
   
6. To Van Khanh (2009.1-2013.6)   SMT for Polynomial Constraints and Its Applications
   
7. Vu Xuan Tung (2015.4-2018.6)   SMT Solving for Polynomial Constraints
   
   

Master thesis

1. Ξ•—Y•γ (2006.4-2008.9)   ”Δ—p˜A‘zŒvŽZƒGƒ“ƒWƒ“GETA‚π—p‚’‚½ƒXƒpƒ€”»•Κ‚ΙŠΦ‚·‚ιŒ€‹† (in Japanese)
   
2. Hua Le Thanh Vy (2011.10-2012.9)   Web Security Analysis for Java Using Conditional Weighted Pushdown System
   
3. Pakorn Techaveerapong (2011.10-2013.9)   Antichain algorithm, its theory and appilcations
   
4. Pakakorn Sitthisak (2012.10-2014.12)   Formal Semantics of Core SQL Language based on the K Framework
   
5. Ngo Thai Binh (2013.4-2015.3)   A binary code analysis and approximation techniques
   
6. Vu Xuan Tung (2013.4-2015.3)   Equality handling and efficiency improvement of SMT for non-linear constraints over reals
   
7. Š™“c’BΖ (2013.4-2017.3)   Studies on Nonlinear Real Arithmetic Satisfiability
   
8. •x‘ς“ΔŽj (2013.10-2017.9)   ƒ}ƒ‹ƒEƒFƒA‚Ι‚ζ‚ιƒpƒbƒJ[—˜—p‚Μ‰πΝ (in Japanese)
   
9. Le Vinh (2014.10-2016.9)   Automatic stub generation from natural language description
   
10. ”’–ΨΰVŒ[ (2015.4-2017.3)   Extensions and Applications of Antichain Algorithms
    
11. Nguyen Hoang Lam Yen (2016.4-2018.3)   Automatic extraction of x86 formal semantics from its natural language description
    
12. Vu Viet Anh (2017.10-2018.12)   Formal Semantics Extraction from Natural Language Specifications for ARM (Correction, 17 July 2019)
    
13. Trac Quang Thinh (2018.10-2019.9)   Generating a Dynamic Symbolic Execution Tool from MIPS Specifications.
    
14. Yoon Myet Thwe (2017.10-2019.9)   Applying Clustering Techniques for Refining Large Data Set (Case Study on Malware)
    
15. Nguyen Thi Van Anh (2019.10-2021.9)   Automatic Stub Generation for Dynamic Symbolic Execution of ARM binary
    
16. Pham Thanh Hung (2022.10-2023.9)   Original Entry Point detection of packed code based on graph similarity
    
17. Nguyen Thi Hai Yen (2022.10-2023.9)   Automatically extracting the correspondence between the natural language and the pseudo-code descriptions of instruction set manuals