Provably Fixing the SSH Binary Packet Protocol

Provably Fixing the SSH Binary Packet Protocol (2002)

by Mihir Bellare , Tadayoshi Kohno , Chanathip Namprempre

Citations:

6 - 1 self

Datum	Value	Source
TITLE	Manuscript. Provably Fixing the SSH Binary Packet Protocol	SVM HeaderParse 0.1
AUTHOR NAME	Mihir Bellare	SVM HeaderParse 0.1
AUTHOR AFFIL	y	SVM HeaderParse 0.2
AUTHOR NAME	Tadayoshi Kohno	SVM HeaderParse 0.1
AUTHOR AFFIL	y	SVM HeaderParse 0.2
AUTHOR NAME	Chanathip Namprempre	SVM HeaderParse 0.1
AUTHOR AFFIL	; Dept. of Computer Science; Dept. of Computer Science; Dept. of Computer Science	SVM HeaderParse 0.2
AUTHOR ADDR	; Engineering, University of California at San Diego, 9500 Gilman Drive, La Jolla,; Engineering, University of California at San Diego, 9500 Gilman Drive, La Jolla,; Engineering, University of California at San Diego, 9500 Gilman Drive, La Jolla,	SVM HeaderParse 0.1
ABSTRACT	The Secure Shell (SSH) protocol is one of the most popular cryptographic protocols on the Internet. Unfortunately, the current SSH authenticated encryption mechanism is insecure. In this paper we propose several xes to the SSH protocol and, using techniques from modern cryptography, we prove that our modied versions of SSH meet strong new chosen-ciphertext privacy and integrity requirements. Furthermore, our proposed xes will require relatively little modi cation to the SSH protocol (or to SSH implementations). We believe that our new notions of privacy and integrity for encryption schemes with stateful decryption algorithms will be of independent interest.	SVM HeaderParse 0.1
CITATIONS	28 found	ParsCit 1.0