Suitable Symbolic Models for Cryptographic Verification of Secure Protocols in ProVerif.

Hiroyuki Okazaki, Yuichi Futa, Kenichi Arai

Browse the full ISITA paper archive.