Research

  • Img
    Working in the Network Intelligence and Security LAB

    With Dr. Roberto Perdisci

    Programs

    Fluxbuster:
    FluxBuster is a system for detecting live fast-flux networks via passive DNS traffic analysis. It is based on ISC's Security Information Exchange data sharing project.
    I have been working on the data analysis of detected result and design web interface for detecting summary.

    Skills: Java, Python, PostgreSQL, Django/Python, Html

  • Img
    JavaPathfinder

    Research on Model Checking using JavaPathfinder (JPF)

    Details

    Objection
    Model Checking on the vulnerability of Java program and code
    Generating test cases for Java program automatically.
    As Graduate Project
    Worked with Prof. Liang Cai (ZJU)