|
|
@@ -102,7 +102,7 @@ The tag is generated by computing a 21-byte ECDH private key $s$ for the client
|
|
|
|
|
|
\subsubsection{DH parameter generation}
|
|
|
|
|
|
-To derive the TLS client key exchange parameters, the client computes their secret key as the output of $PRF_{k_{sh}}(\texttt{``SLITHEEN\_KEYGEN''})$ (Note: the Telex paper refers to his set as using $k_{sh}$ to seed a secure PRG).
|
|
|
+To derive the TLS client key exchange parameters, the client computes their secret key as the output of $$PRF_{k_{sh}}(``\texttt{SLITHEEN\_KEYGEN}")$$ (Note: the Telex paper refers to his set as using $k_{sh}$ to seed a secure PRG).
|
|
|
|
|
|
The PRF function here is as defined in the TLSv1.2 RFC\footnote{https://tools.ietf.org/html/rfc5246}, where the hash function used is determined by the selected ciphersuite.
|
|
|
|
