A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps (Extended Abstract).

Liana Bozga, Cristian Ene, Yassine Lakhnech

Browse the full CONCUR paper archive.