Caveat eptor: A comparative study of secure device pairing methods
Provably secure password-authenticated key exchange using Diffie-Hellman