-
Cryptography and Security: From Theory to Applications - Essays Dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday; 01/2012
-
IACR Cryptology ePrint Archive. 01/2011; 2011:213.
-
Fast Software Encryption - 18th International Workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011, Revised Selected Papers; 01/2011
-
Cryptography and Coding - 13th IMA International Conference, IMACC 2011, Oxford, UK, December 12-15, 2011. Proceedings; 01/2011
-
[show abstract]
[hide abstract]
ABSTRACT: This paper presents a formal security analysis of SSH in counter mode in a security model that accurately captures the capabilities
of real-world attackers, as well as security-relevant features of the SSH specifications and the OpenSSH implementation of
SSH. Under reasonable assumptions on the block cipher and MAC algorithms used to construct the SSH Binary Packet Protocol
(BPP), we are able to show that the SSH BPP meets a strong and appropriate notion of security: indistinguishability under
buffered, stateful chosen-ciphertext attacks. This result helps to bridge the gap between the existing security analysis of
the SSH BPP by Bellare et al. and the recently discovered attacks against the SSH BPP by Albrecht et al. which partially invalidate that analysis.
KeywordsSSH-counter mode-security proof
05/2010: pages 345-361;
-
IACR Cryptology ePrint Archive. 01/2010; 2010:95.
-
IACR Cryptology ePrint Archive. 01/2010; 2010:637.
-
Advances in Cryptology - EUROCRYPT 2010, 29th Annual International Conference on the Theory and Applications of Cryptographic Techniques, French Riviera, May 30 - June 3, 2010. Proceedings; 01/2010
-
30th IEEE Symposium on Security and Privacy (S&P 2009), 17-20 May 2009, Oakland, California, USA; 01/2009
-
Security and Cryptography for Networks, 6th International Conference, SCN 2008, Amalfi, Italy, September 10-12, 2008. Proceedings; 01/2008