Verification Method of Key-Exchange Protocols With a Small Amount of Input Using Tamarin Prover.

Misato Nakabayashi, Yuki Okano

Browse the full AsiaCCS paper archive.