Van-Thuan Pham

Software · 2016–2020

A researcher in the Science corpus: 3 papers; trusts 8 researchers and is trusted by 16 researchers here, as inferred from the citation graph.

Subfields

Whom Van-Thuan Pham trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Cristian Cadar
  2. Juan Caballero
  3. Kostya Serebryany
  4. Vijay Ganesh
  5. Tielei Wang
  6. Leonardo de Moura
  7. Heng Yin
  8. Derek Bruening
  9. Patrice Godefroid
  10. Yuting Chen

Who trusts Van-Thuan Pham overall

  1. Xiaogang Zhu
  2. Junjie Wang
  3. Ruijie Meng
  4. Cornelius Aschermann
  5. Bihuan Chen
  6. Caroline Lemieux
  7. Sergej Schumilo
  8. Sheng Wen
  9. Marcel Böhme
  10. Martin Mirchev

Papers from Van-Thuan Pham's perspective

Ordered by how strongly the researchers Van-Thuan Pham trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Automated Whitebox Fuzz Testing (Network and Distributed System Security Symposium)
  2. Polyglot: automatic extraction of protocol message format using dynamic binary analysis (Conference on Computer and Communications Security)
  3. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
  4. TaintScope: A Checksum-Aware Directed Fuzzing Tool for Automatic Software Vulnerability Detection (IEEE Symposium on Security and Privacy)
  5. Driller: Augmenting Fuzzing Through Selective Symbolic Execution (Network and Distributed System Security Symposium)
  6. Prospex: Protocol Specification Extraction (IEEE Symposium on Security and Privacy)
  7. QEMU, a Fast and Portable Dynamic Translator (USENIX ATC, FREENIX Track)
  8. AddressSanitizer: A Fast Address Sanity Checker
  9. S2E: a platform for in-vivo multi-path analysis of software systems (ASPLOS XVI)
  10. Z3: An Efficient SMT Solver

Their papers