Security Analysis of Password-based Authenticated Key Exchange Protocols | Synapse