Tidy: Symbolic Verification of Timed Cryptographic Protocols.

Gilles Barthe, Ugo Dal Lago, Giulio Malavolta, Itsaka Rakotonirina

Browse the full CCS paper archive.