Searched defs:expected_ciphertext (Results 1 – 2 of 2) sorted by relevance
3086 unsigned char *expected_ciphertext; in tv() local
10972 uint8_t expected_ciphertext[1088U]; in libcrux_ml_kem_ind_cca_decapsulate_70() local11737 uint8_t expected_ciphertext[1088U]; in libcrux_ml_kem_ind_cca_decapsulate_700() local