Authenticated encryption in SSH: provably fixing the SSH binary packet protocol
hmac : keyed - hashing for message authentication .