Van-Thuan Pham

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 27

Top Topics

Coloured Petri Nets

Network Protocols

Top Venues

IEEE Trans. Software Eng.

Publications

Pengbo Yan, Toby Murray, Olga Ohrimenko, Van-Thuan Pham, Robert Sison
Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms (Extended Version). CoRR (2024)
Wachiraphan Charoenwet, Patanamon Thongtanunam, Van-Thuan Pham, Christoph Treude
Toward effective secure code reviews: an empirical study of security-related coding weaknesses. Empir. Softw. Eng. 29 (4) (2024)
Wachiraphan Charoenwet, Patanamon Thongtanunam, Van-Thuan Pham, Christoph Treude
An Empirical Study of Static Analysis Tools for Secure Code Review. CoRR (2024)
Lianglu Pan, Shaanan Cohney, Toby Murray, Van-Thuan Pham
EDEFuzz: A Web API Fuzzer for Excessive Data Exposures. ICSE (2024)
Kwanhyong Lee, Van-Thuan Pham, Jiayuan He
Fair-Siamese Approach for Accurate Fairness in Image Classification. FairWare (2023)
Charaka Geethal, Marcel Böhme, Van-Thuan Pham
Human-in-the-Loop Automatic Program Repair. IEEE Trans. Software Eng. 49 (10) (2023)
Wentao Gao, Jiayuan He, Van-Thuan Pham
Metamorphic Testing of Machine Translation Models using Back Translation. DeepTest (2023)
Wentao Gao, Van-Thuan Pham, Dongge Liu, Oliver Chang, Toby Murray, Benjamin I. P. Rubinstein
Beyond the Coverage Plateau: A Comprehensive Study of Fuzz Blockers (Registered Report). FUZZING (2023)
Lianglu Pan, Shaanan Cohney, Toby Murray, Van-Thuan Pham
Detecting Excessive Data Exposures in Web Server Responses with Metamorphic Fuzzing. CoRR (2023)
Van-Thuan Pham
AFLSmart++: Smarter Greybox Fuzzing. SBFT (2023)
Wachiraphan Charoenwet, Patanamon Thongtanunam, Van-Thuan Pham, Christoph Treude
Toward Effective Secure Code Reviews: An Empirical Study of Security-Related Coding Weaknesses. CoRR (2023)
Dongge Liu, Van-Thuan Pham, Gidon Ernst, Toby Murray, Benjamin I. P. Rubinstein
State Selection Algorithms and Their Impact on The Performance of Stateful Network Protocol Fuzzing. SANER (2022)
Charaka Geethal Kapugama, Van-Thuan Pham, Aldeida Aleti, Marcel Böhme
Human-in-the-loop oracle learning for semantic bugs in string processing programs. ISSTA (2022)
Roberto Natella, Van-Thuan Pham
ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing. CoRR (2021)
Van-Thuan Pham, Manh-Dung Nguyen, Quang-Trung Ta, Toby Murray, Benjamin I. P. Rubinstein
Towards Systematic and Dynamic Task Allocation for Collaborative Parallel Fuzzing. ASE (2021)
Roberto Natella, Van-Thuan Pham
ProFuzzBench: a benchmark for stateful protocol fuzzing. ISSTA (2021)
Dongge Liu, Van-Thuan Pham, Gidon Ernst, Toby Murray, Benjamin I. P. Rubinstein
State Selection Algorithms and Their Impact on The Performance of Stateful Network Protocol Fuzzing. CoRR (2021)
Van-Thuan Pham, Marcel Böhme, Andrew E. Santosa, Alexandru Razvan Caciulescu, Abhik Roychoudhury
Smart Greybox Fuzzing. IEEE Trans. Software Eng. 47 (9) (2021)
Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury
AFLNET: A Greybox Fuzzer for Network Protocols. ICST (2020)
Marcel Böhme, Charaka Geethal, Van-Thuan Pham
Human-In-The-Loop Automatic Program Repair. ICST (2020)
Marcel Böhme, Van-Thuan Pham, Abhik Roychoudhury
Coverage-Based Greybox Fuzzing as Markov Chain. IEEE Trans. Software Eng. 45 (5) (2019)
Marcel Böhme, Charaka Geethal, Van-Thuan Pham
Human-In-The-Loop Automatic Program Repair. CoRR (2019)
Van-Thuan Pham, Marcel Böhme, Andrew E. Santosa, Alexandru Razvan Caciulescu, Abhik Roychoudhury
Smart Greybox Fuzzing. CoRR (2018)
Marcel Böhme, Van-Thuan Pham, Manh-Dung Nguyen, Abhik Roychoudhury
Directed Greybox Fuzzing. CCS (2017)
Van-Thuan Pham, Sakaar Khurana, Subhajit Roy, Abhik Roychoudhury
Bucketing Failing Tests via Symbolic Analysis. FASE (2017)
Marcel Böhme, Van-Thuan Pham, Abhik Roychoudhury
Coverage-based Greybox Fuzzing as Markov Chain. CCS (2016)
Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury
Model-based whitebox fuzzing for program binaries. ASE (2016)
Van-Thuan Pham, Wei Boon Ng, Konstantin Rubinov, Abhik Roychoudhury
Hercules: Reproducing Crashes in Real-World Application Binaries. ICSE (1) (2015)
Lee Kee Chong, Clément Ballabriga, Van-Thuan Pham, Sudipta Chattopadhyay, Abhik Roychoudhury
Integrated Timing Analysis of Application and Operating Systems Code. RTSS (2013)
Van Cuong Nguyen, Van-Thuan Pham, Bongkyo Moon
Maximized Energy Saving Sleep Mode in IEEE 802.16e/m. UCMA (1) (2011)