Zhiyao Liang

	2009
4		Zhiyao Liang, Rakesh M. Verma: Correcting and Improving the NP Proof for Cryptographic Protocol Insecurity. ICISS 2009: 101-116
	2008
3		Zhiyao Liang, Rakesh M. Verma: Improving Techniques for Proving Undecidability of Checking Cryptographic Protocols. ARES 2008: 1067-1074
2		Zhiyao Liang, Rakesh M. Verma: Complexity of Checking Freshness of Cryptographic Protocols. ICISS 2008: 86-101
	2004
1		Zhiyao Liang: Model Checking Using Tabled Rewriting. IJCAR Doctoral Programme 2004

Coauthor Index

1

Rakesh M. Verma

[2] [3] [4]