huanjie zhou's guadution thesis. Implementing a PAKE protocol in openSSL