Manh-Dung Nguyen

Conference on Computer and Communications Security · 2017

A researcher in the Science corpus: 1 paper; trusts 2 researchers and is trusted by 2 researchers here, as inferred from the citation graph.

Whom Manh-Dung Nguyen trusts overall

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

  1. Leonardo de Moura

Who trusts Manh-Dung Nguyen overall

  1. Caroline Lemieux

Papers from Manh-Dung Nguyen's perspective

Ordered by how strongly the researchers Manh-Dung Nguyen trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Automated Whitebox Fuzz Testing (Network and Distributed System Security Symposium)
  2. TaintScope: A Checksum-Aware Directed Fuzzing Tool for Automatic Software Vulnerability Detection (IEEE Symposium on Security and Privacy)
  3. Driller: Augmenting Fuzzing Through Selective Symbolic Execution (Network and Distributed System Security Symposium)
  4. SAGE: Whitebox Fuzzing for Security Testing (Queue)
  5. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
  6. S2E: a platform for in-vivo multi-path analysis of software systems (ASPLOS XVI)
  7. A Critique and Improvement of the CL Common Language Effect Size Statistics of McGraw and Wong
  8. AddressSanitizer: A Fast Address Sanity Checker
  9. Z3: An Efficient SMT Solver
  10. Optimization by Simulated Annealing

Their papers