Travelled to:1 × Poland
1 × USA
Collaborated with:C.Lynch S.Erbatur S.Escobar D.Kapur C.Meadows J.Meseguer P.Narendran S.Santiago R.Sasse
Talks about:unif (3) cryptograph (1) homomorph (1) protocol (1) paradigm (1) asymmetr (1) general (1) analysi (1) effici (1) xor (1)
Person: Zhiqiang Liu
DBLP: Liu:Zhiqiang
Contributed to:
20132011Wrote 2 papers:
- CADE-2013-ErbaturEKLLMMNSS #analysis #encryption #paradigm #protocol #symmetry #unification
- Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis (SE, SE, DK, ZL, CL, CM, JM, PN, SS, RS), pp. 231–248.
- CADE-2011-LiuL #morphism #performance #unification
- Efficient General Unification for XOR with Homomorphism (ZL, CL), pp. 407–421.