Han Gao

According to our database, Han Gao authored at least 9 papers between 2006 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

CaPiTo: protocol stacks for services.

Han Gao, Flemming Nielson, Hanne Riis Nielson

Formal Aspects Comput., 2011

Analysing Protocol Stacks for Services.

Han Gao, Flemming Nielson, Hanne Riis Nielson

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

Detecting and preventing type flaws at static time.

Chiara Bodei, Linda Brodo, Pierpaolo Degano, Han Gao

J. Comput. Secur., 2010

The CaPiTo Approach to Protocol Validation - (Invited Talk).

Flemming Nielson, Han Gao, Hanne Riis Nielson

Proceedings of the Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, 2010

2008

Analysis of Security Protocols by Annotations.

Han Gao

PhD thesis, 2008

A Formal Analysis of Complex Type Flaw Attacks on Security Protocols.

Han Gao, Chiara Bodei, Pierpaolo Degano

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Detecting and Preventing Type flaws: a Control Flow Analysis with Tags.

Chiara Bodei, Pierpaolo Degano, Han Gao, Linda Brodo

Proceedings of the Fifth Workshop on Security Issues in Concurrency, 2007

A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols.

Han Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson

Proceedings of the Advances in Computer Science, 2007

2006

Analysis of LYSA-calculus with explicit confidentiality annotations.

Han Gao, Hanne Riis Nielson

Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006