If you made any changes in Pure these will be visible here soon.

Personal profile

Biography

I am a Research Fellow in the research group of Dr. Marcel Boehme. I received my PhD degree from the National University of Singapore in 2017, under the supervision of Prof. Abhik Roychoudhury. I got my Master and Engineer degrees from Hanoi University of Science and Technology in 2009 and 2002 respectively. I am passionate about doing R&D on automated testing to improve the reliability of software systems running on all types of computing devices such as embedded systems, mobile devices, personal computers, and servers. I have been working on binary program analysis, symbolic execution, and fuzz testing techniques (black-box, coverage-based grey-box, and symbolic-execution based white-box fuzzing) which are highly applicable to vulnerability detection, crash reproduction and automated debugging. Beside my academic research work, I also have experiences in working and collaborating with industry in many projects in embedded systems, image processing, manufacturing management systems and simulations.

Research interests

  • Fuzz Testing
  • IoT Testing
  • Mobile App Testing
  • Program Analysis
  • Symbolic Execution

Research area keywords

  • Automated software engineering
  • Fuzz Testing
  • Symbolic Execution
  • Android App Testing
  • Program Analysis
  • IoT

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2020 2021

Learning to Discover Security Flaws in Stateful Programs

Boehme, M., Pham, T., Kapugamawasangamagedon, C. G. K. & Zeller, A.

1/01/2031/12/21

Project: Research

Research Output 2013 2019

  • 6 Conference Paper
  • 2 Article
5 Citations (Scopus)

Coverage-based Greybox Fuzzing as Markov chain

Böhme, M., Pham, V. T. & Roychoudhury, A., May 2019, In : IEEE Transactions on Software Engineering. 45, 5, p. 489-506 18 p.

Research output: Contribution to journalArticleResearchpeer-review

Smart Greybox Fuzzing

Pham, V-T., Boehme, M., Edward Santosa, A., Razvan Caciulescu, A. & Roychoudhury, A., Aug 2019, (Accepted/In press) In : IEEE Transactions on Software Engineering. 17 p.

Research output: Contribution to journalArticleOtherpeer-review

4 Citations (Scopus)

Bucketing failing tests via symbolic analysis

Pham, V-T., Khurana, S., Roy, S. & Roychoudhury, A., 2017, Fundamental Approaches to Software Engineering : 20th International Conference, FASE 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017 Uppsala, Sweden, April 22–29, 2017 Proceedings. Huisman, M. & Rubin, J. (eds.). Berlin Germany: Springer, p. 43-59 17 p. (Lecture Notes in Computer Science ; vol. 10202 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

64 Citations (Scopus)

Directed Greybox Fuzzing

Böhme, M., Pham, V-T., Nguyen, M-D. & Roychoudhury, A., 2017, Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. Evans, D., Maklin, T. & Xu, D. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 2329-2344 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

111 Citations (Scopus)

Coverage-based Greybox Fuzzing as Markov chain

Böhme, M., Pham, V-T. & Roychoudhury, A., 24 Oct 2016, CCS' 2016: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. Halevi, S., Kruegel, C. & Myers, A. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 1032-1043 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Press / Media

Smart Greybox Fuzzing @ Register and Security Week

Marcel Boehme, Thuan Pham & Abhik Roychoudhury

28/11/1829/11/18

2 items of Media coverage

Press/Media: Article/Feature