Feng Mao

IEEE Symposium on Security and Privacy · with Akhawe · 2010

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

Whom Feng Mao trusts

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

  1. Vijay Ganesh (in Software)

Papers from Feng Mao's perspective

Ordered by how strongly the researchers Feng Mao trusts endorse each paper. Same corpus, a different order for every researcher.

  1. A Decision Procedure for Bit-Vectors and Arrays (International Conference on Computer Aided Verification)
  2. Automatic creation of SQL Injection and cross-site scripting attacks (2009 IEEE 31st International Conference on Software Engineering)
  3. Automated Whitebox Fuzz Testing (Network and Distributed System Security Symposium)
  4. Saner: Composing Static and Dynamic Analysis to Validate Sanitization in Web Applications (IEEE Symposium on Security and Privacy)
  5. HAMPI: a solver for string constraints (International Symposium on Software Testing and Analysis)
  6. Automatically Hardening Web Applications Using Precise Tainting (IFIP International Information Security Conference)
  7. Precise Analysis of String Expressions (Sensors Applications Symposium)
  8. EXE: automatically generating inputs of death
  9. CUTE: a concolic unit testing engine for C (ESEC/FSE-13)
  10. Sound and precise analysis of web applications for injection vulnerabilities (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers