Project leader
Université Rennes 1Partners
, INRIA Sophia Antipolis, INRIA Paris, IRMAR - Institut de Recherche Mathématique de RennesFunders
ANR,
SafeTLS
The security of the Internet of the future with TLS 1.3
TLS / SSL (current version TLS 1.2) is one of the 3 main protocols guaranteeing the security of computer networks with SSH and IPSec. Despite its central role for e-commerce, Internet browsing, email, VoIP and the fact that almost all browser connection and search queries use it, this protocol still has security flaws in its design. . To avoid recent attacks, such as FREAK, LogJam, 3Shake, SLOTH, or DROWN, a new version, TLS 1.3, is being defined. Our project, SafeTLS, is interested, in 3 different ways, in the security of TLS 1.3 and TLS 1.2 as they will be used:
- providing a better understanding of the security proofs of TLS 1.3 and 1.2 key agreement.
- by providing customers with a tool that detects the quality of each TLS connection in real time.
- by focusing on the problem of the security of TLS implementations.