2016 · 70 citations · 16 references
ComputingComputer EngineeringComputer ScienceComputer SecurityNetwork SecurityVulnerability AnalysisElliptic Curve CryptographySoftware Security EngineeringElliptic Curve Cryptography VulnerabilitiesImplementation VulnerabilitiesIpsec Vulnerability AnalysisOperating System ArchitecturePseudorandom GeneratorsSecure Random Number Generation
In December 2015, Juniper Networks announced multiple security vulnerabilities stemming from unauthorized code in ScreenOS, the operating system for their NetScreen VPN routers. The more sophisticated of these vulnerabilities was a passive VPN decryption capability, enabled by a change to one of the elliptic curve points used by the Dual EC pseudorandom number generator. In this paper, we describe the results of a full independent analysis of the ScreenOS randomness and VPN key establishment protocol subsystems, which we carried out in response to this incident. While Dual EC is known to be insecure against an attacker who can choose the elliptic curve parameters, Juniper had claimed in 2013 that ScreenOS included countermeasures against this type of attack. We find that, contrary to Juniper's public statements, the ScreenOS VPN implementation has been vulnerable since 2008 to passive exploitation by an attacker who selects the Dual EC curve point. This vulnerability arises due to apparent flaws in Juniper's countermeasures as well as a cluster of changes that were all introduced concurrently with the inclusion of Dual EC in a single 2008 release. We demonstrate the vulnerability on a real NetScreen device by modifying the firmware to install our own parameters, and we show that it is possible to passively decrypt an individual VPN session in isolation without observing any other network traffic. We investigate the possibility of passively fingerprinting ScreenOS implementations in the wild. This incident is an important example of how guidelines for random number generation, engineering, and validation can fail in practice.
16
A Search Engine Backed by Internet-Wide Scanning
Zakir Durumeric, David Adrian, Ariana Mirian et al. · 2015 · 438 citations · Full text
Mining your Ps and Qs: detection of widespread weak keys in network devices
Nadia Heninger, Zakir Durumeric, Eric Wustrow et al. · 2012 · 339 citations
David Adrian, Karthikeyan Bhargavan, Zakir Durumeric et al. · 2015 · 334 citations · Full text
The Secure Shell (SSH) Protocol Architecture
Tatu Ylönen · 2006 · 319 citations