A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning.

Jingchen Yan, Sho Ishibashi, Yuichi Goto, Jingde Cheng

Browse the full UIC paper archive.