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
   
8. Nguyen Thi Van Anh (2021.10-2024.9)   Cross-Environment Dynamic Symbolic Execution on Android/apk files and its Application for Malware Analysis
   
   

Master thesis

1. 石黒雄輔 (2006.4-2008.9)   汎用連想計算エンジンGETAを用いたスパム判別に関する研究 (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. 鎌田達哉 (2013.4-2017.3)   Studies on Nonlinear Real Arithmetic Satisfiability
   
8. 富沢篤史 (2013.10-2017.9)   マルウェアによるパッカー利用の解析 (in Japanese)
   
9. Le Vinh (2014.10-2016.9)   Automatic stub generation from natural language description
   
10. 白木澤啓 (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
    
18. 宇田津孝介 (2022.4-2024.3)   Awareness Logic of Abstraction
    
19. Tran Thi Anh Thu (2022.10-2024.9)   Towards x86 Instruction Set Emulation in Java via Project-based Text-to-Code Generation using Reinforcement Learning
    
20. Nguyen The Hung (2023.10-2024.9)   Vulnerabilities detection in binary code
    
21. 中村悠人 (2021.4-2024.12)   二次ディファントス方程式の求解アルゴリズムについて (in Japanese)