Zhiyao Liang

2008
3	EE	Zhiyao Liang, Rakesh M. Verma: Improving Techniques for Proving Undecidability of Checking Cryptographic Protocols. ARES 2008: 1067-1074
2	EE	Zhiyao Liang, Rakesh M. Verma: Complexity of Checking Freshness of Cryptographic Protocols. ICISS 2008: 86-101
2004
1	EE	Zhiyao Liang: Model Checking Using Tabled Rewriting. IJCAR Doctoral Programme 2004

Coauthor Index

1

Rakesh M. Verma

[2] [3]