Searched defs:s2n_handshake_parameters (Results 1 – 2 of 2) sorted by relevance
85 struct s2n_handshake_parameters { struct87 struct s2n_pkey server_public_key;88 struct s2n_pkey client_public_key;89 struct s2n_blob client_cert_chain;90 s2n_pkey_type client_cert_pkey_type;93 struct s2n_sig_scheme_list client_sig_hash_algs;95 struct s2n_signature_scheme conn_sig_scheme;98 struct s2n_sig_scheme_list server_sig_hash_algs;103 struct s2n_cert_chain_and_key *our_chain_and_key;129 uint8_t exact_sni_match_exists;[all …]
653 void cbmc_populate_s2n_handshake_parameters(struct s2n_handshake_parameters *s2n_handshake_paramete… in cbmc_populate_s2n_handshake_parameters()