Items where Author is "Cheng, M"

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 2.

Chapter in book

MA, X., CHENG, X., HUANG, S. and CHENG, M., 2008. Mechanical verification of cryptographic protocols. In: S. HUANG, D. MACCALLUM and D.Z. DU, eds., Network security. Springer.

Conference contribution

CHENG, X., MA, X., CHENG, M. and HUANG, S.C.H., 2005. Proving secure properties of cryptographic protocols. In: 24th IEEE International Performance Computing and Communications Conference (IPCCC 2005), Phoenix, Arizona, 7-9 April 2005, Phoenix, Arizona.

This list was generated on Mon Oct 23 16:57:20 2017 UTC.