Provably fixing the ssh binary packet protocol (2002)

by M Bellare, T Kohno, C Namprempre
Venue:In Conference on Computer and Communications Security (CCS’02). ACM