Automated Identification of Desynchronisation Attacks on Shared Secrets.

Sjouke Mauw, Zach Smith, Jorge Toro-Pozo, Rolando Trujillo-Rasua

Browse the full ESORICS paper archive.