https://1library.net/document/yje91j2q-universally-composable-password-based-key-exchange.html