Provably Fixing the SSH Binary Packet Protocol (2002)

by Mihir Bellare, Tadayoshi Kohno, Chanathip Namprempre