Type-Based Automated Verification of Authenticity in Cryptographic Protocols.

Daisuke Kikuchi, Naoki Kobayashi

Browse the full ESOP paper archive.