[rwth-security] How elliptic curve cryptography works in TLS 1.3