Using OTP with PAKE: An Optimized Implementation of a Synchronization Window | IEEE Conference Publication | IEEE Xplore