project-everest / mitls-fstar

Verified implementation of TLS 1.3 in F*
https://www.mitls.org
Other
173 stars 16 forks source link

miTLS client send key share of type x22519, regardless of configuration done via FFI_mitls_configure_named_groups #179

Closed oweisse-msft closed 7 years ago

oweisse-msft commented 7 years ago

FFI_mitls_configure_named_groups is called, with 'P-521:P-384:P-256:FFDHE4096:FFDHE3072:FFDHE2048', which affects the list in "supported_groups" extension in ClientHello, but the KeyShare that is sent is always x25519.

s-zanella commented 7 years ago

This changed recently. Now we have two different fields in the configuration:

The default value for offer_shares is just X25519. We don't check in FFI that this is compatible with named_groups (that X25519 is one of the supported groups). We should do so, and default to, say, the first supported group otherwise.

ad-l commented 7 years ago

I changed the behavior of ffiSetNamedGroups to offer all supported groups if no share list is specified with the @X:...:Z syntax.