PARASITE: PAssword Recovery Attack against Srp Implementations in ThE wild

Daniel de Almeida Braga (1, 2) , Pierre-Alain Fouque (1, 3, 4) , Mohamed Sabt (1, 2)

1 IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
2 SPICY - Security & PrIvaCY
3 EMSEC - Embedded Security and Cryptography / Sécurité cryptographie embarquée
4 CAPSULE - Applied Cryptography and Implementation Security

Protocols for password-based authenticated key exchange (PAKE) allow two users sharing only a short, low-entropy password to establish a secure session with a cryptographically strong key. The challenge in designing such protocols is that they must resist offline dictionary attacks in which an attacker exhaustively enumerates the dictionary of likely passwords in an attempt to match the used password. In this paper, we study the resilience of one particular PAKE against these attacks. Indeed, we focus on the Secure Remote Password (SRP) protocol that was designed by T. Wu in 1998. Despite its lack of formal security proof, SRP has become a de-facto standard. For more than 20 years, many projects have turned towards SRP for their authentication solution, thanks to the availability of open-source implementations with no restrictive licenses. Of particular interest, we mention the Stanford reference implementation (in C and Java) and the OpenSSL one (in C). In this paper, we analyze the security of the SRP implementation inside the OpenSSL library. In particular, we identify that this implementation is vulnerable to offline dictionary attacks. Indeed, we exploit a call for a function computing modular exponentiation of big numbers in OpenSSL. In the SRP protocol, this function leads to the call of a non-constant time function, thereby leaking some information about the used password when leveraging cache-based Flush+Reload timing attack. Then, we show that our attack is practical, since it only requires one single trace, despite the noise of cache measurements. In addition, the attack is quite efficient as the reduction of some common dictionaries is very fast using modern resources at negligible cost. We also prove that the scope of our vulnerability is not only limited to OpenSSL, since many other projects, including Stanford's, ProtonMail and Apple Homekit, rely on OpenSSL, which makes them vulnerable. We find that our flaw might also impact projects written in Python, Erlang, JavaScript and Ruby, as long as they load the OpenSSL dynamic library for their big number operations. We disclosed our attack to OpenSSL who acknowledged the attack and timely fixed the vulnerability.

Mots clés: SRP; PAKE; Flush+Reload; PDA; OpenSSL

Domaines: Cryptographie et sécurité [cs.CR]

Daniel de Almeida Braga, Pierre-Alain Fouque, Mohamed Sabt. PARASITE: PAssword Recovery Attack against Srp Implementations in ThE wild. CCS 2021 - ACM SIGSAC Conference on Computer and Communications Security, Nov 2021, Virtual Event, South Korea. pp.2497-2512, ⟨10.1145/3460120.3484563⟩. ⟨hal-03551345⟩