Post-Collusion Security and Distance Bounding
Sjouke Mauw, Zach Smith, Jorge Toro-Pozo, Rolando Trujillo-Rasúa · 2019
Verification of cryptographic protocols is traditionally built upon the assumption that participants have not revealed their long-term keys. However, in some cases, participants might collude to defeat some security goals, without revealing their long-term secrets.