117
Voted
EUROCRYPT
2010
Springer
15 years 7 months ago
2010
Springer
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-rel...