A Formal Analysis Method with Reasoning for Cryptographic Protocols.

Jingchen Yan, Kazunori Wagatsuma, Hongbiao Gao, Jingde Cheng

Browse the full CIS paper archive.