| 2007 |
|---|
| 5 | EE | Han Gao,
Chiara Bodei,
Pierpaolo Degano,
Hanne Riis Nielson:
A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols.
ASIAN 2007: 150-165 |
| 4 | EE | Chiara Bodei,
Pierpaolo Degano,
Han Gao,
Linda Brodo:
Detecting and Preventing Type flaws: a Control Flow Analysis with Tags.
Electr. Notes Theor. Comput. Sci. 194(1): 3-22 (2007) |
| 2006 |
|---|
| 3 | EE | Han Gao,
Hanne Riis Nielson:
Analysis of LYSA-calculus with explicit confidentiality annotations.
AINA (2) 2006: 39-43 |
| 2005 |
|---|
| 2 | EE | Han Gao,
Michael E. Papka,
Rick L. Stevens:
Performance Metrics of IP Multicast Sessions.
ISM 2005: 183-192 |
| 2004 |
|---|
| 1 | EE | Han Gao,
Ivan R. Judson,
T. Uram,
T. L. Disz,
Michael E. Papka,
Rick L. Stevens:
Capability matching of data streams with network services.
CCGRID 2004: 419-425 |
