Formal Verification of G-PAKE Using Casper/FDR2 - Securing a Group PAKE Protocol Using Casper/FDR2.

Mihai-Lica Pura, Victor Valeriu Patriciu, Ion Bica

Browse the full SECRYPT paper archive.