Password-based authenticated key exchange in the three-party setting | Synapse