Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study.

Aslan Askarov, Andrei Sabelfeld

Browse the full ESORICS paper archive.