| 2008 |
|---|
| 7 | EE | Han Gao,
Chiara Bodei,
Pierpaolo Degano:
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols.
AMAST 2008: 167-183 |
| 2007 |
|---|
| 6 | EE | Han Gao,
Chiara Bodei,
Pierpaolo Degano,
Hanne Riis Nielson:
A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols.
ASIAN 2007: 150-165 |
| 5 | 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 |
|---|
| 4 | EE | Han Gao,
Hanne Riis Nielson:
Analysis of LYSA-calculus with explicit confidentiality annotations.
AINA (2) 2006: 39-43 |
| 2005 |
|---|
| 3 | EE | Han Gao,
Ivan R. Judson,
T. Uram,
S. Lefvert,
Terry Disz,
Michael E. Papka,
Rick L. Stevens:
An Infrastructure of Network Services for Seamless Integration in Advanced Collaborative Computing Environments.
CLUSTER 2005: 1-10 |
| 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,
Terry Disz,
Michael E. Papka,
Rick L. Stevens:
Capability matching of data streams with network services.
CCGRID 2004: 419-425 |
