Nguyen Thi Van Anh

Affiliation

Institute for Multidisciplinary Sciences

Job Title

Specially Appointed Assistant Professor

Research Fields, Keywords

Symbolic Execution, Information Security, Malware Analysis


Education 【 display / non-display 】

  • 2021.10
    -
    2024.9

    Japan Advanced Institute of Science and Technology   Information Science   Doctor Course   Graduated

  • 2019.10
    -
    2021.9

    Japan Advanced Institute of Science and Technology   Information Science   Master Course   Graduated

Degree 【 display / non-display 】

  • Doctor of Information Science - Japan Advanced Institute of Science and Technology

Campus Career 【 display / non-display 】

  • 2026.10
     
     

    Duty   Yokohama National UniversityInstitute for Multidisciplinary Sciences   Specially Appointed Assistant Professor  

  • 2024.10
    -
    2026.9

    Duty   Yokohama National UniversityInstitute of Advanced Sciences   Specially Appointed Assistant Professor  

Research Areas 【 display / non-display 】

  • Informatics / Information security

 

Thesis for a degree 【 display / non-display 】

  • Cross-Environment Dynamic Symbolic Execution on Android/APK Files and Its Application for Malware Analysis

    2024.9

    Doctoral Thesis   Single Work    [Reviewed]

     More details

Papers 【 display / non-display 】

  • LLM-Based Generation of Proof-of-Concept Code for Evading Sandbox Analysis

    Hikaru Matsuzawa, Yukihiro Higashi, Anh Nguyen Thi Van, Rui Tanabe, Yin Minn Pa Pa, Katsunari Yoshi … Show more authors

    2026.3

     More details

    Language:Japanese   Publishing type:Research paper (research society, symposium materials, etc.)   Publisher:ICSS2025   Joint Work  

  • Automatic Stub Generation for Dynamic Symbolic Execution of ARM binary

    Anh Van Nguyen and Mizuhito Ogawa

    Proceedings of the 11th International Symposium on Information and Communication Technology   2022  [Reviewed]

    DOI

     More details

    Authorship:Lead author, Corresponding author   Language:English   Publishing type:Research paper (international conference proceedings)   Single Work  

 

Academic Activities 【 display / non-display 】

  • AsiaJCIS 2026 PC Member

    Role(s): Peer review

    2026

     More details

    Type:Peer review 

  • ESORIC 2026 PC Member

    Role(s): Peer review

    2026

     More details

    Type:Peer review 

  • FM 2026 Tutorials PC member

    Role(s): Peer review

    2026

     More details

    Type:Peer review 

  • KSE 2025 PC Member

    Role(s): Peer review

    2025

     More details

    Type:Peer review