MAFSE: A Model-Based Framework for Software Verification. - Tho T. Quan; Duc L. N. Hoang; B. Tam T. Nguyen; An N. Nguyen; Quan D. Tran; Phung H. Nguyen; Thang H. Bui; Anh T. Do; Linh V. Huynh; Nam T. Doan; Nguyen T. Huynh; Thien D. Nguyen; et al. (SSIRI (Companion), 2010)

A Memory-Based Abstraction Approach to Handle Obfuscation in Polymorphic Virus. - Binh T. T. Nguyen; Binh T. Ngo; Tho T. Quan (APSEC Workshops, 2012)