| 2007 |
| 3 | EE | Jingmin Zhou,
Mark Heckman,
Brennen Reynolds,
Adam Carlson,
Matt Bishop:
Modeling network intrusion detection alerts for correlation.
ACM Trans. Inf. Syst. Secur. 10(1): (2007) |
| 2006 |
| 2 | EE | Ebrima N. Ceesay,
Jingmin Zhou,
Michael Gertz,
Karl N. Levitt,
Matt Bishop:
Using Type Qualifiers to Analyze Untrusted Integers and Detecting Security Flaws in C Programs.
DIMVA 2006: 1-16 |
| 2005 |
| 1 | EE | Jingmin Zhou,
Adam J. Carlson,
Matt Bishop:
Verify Results of Network Intrusion Alerts Using Lightweight Protocol Analysis.
ACSAC 2005: 117-126 |