A General Construction for Password-Based Authenticated Key Exchange from Witness PRFs.