Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols.

Morten Dahl, Naoki Kobayashi, Yunde Sun, Hans Httel

Browse the full ATVA paper archive.