Searched defs:expected_ciphertext (Results 1 – 2 of 2) sorted by relevance
3086 unsigned char *expected_ciphertext; in tv() local
9729 uint8_t expected_ciphertext[1088U]; in libcrux_ml_kem_ind_cca_decapsulate_62() local10833 uint8_t expected_ciphertext[1088U]; in libcrux_ml_kem_ind_cca_unpacked_decapsulate_51() local