Searched refs:pseudorandomness (Results 1 – 1 of 1) sorted by relevance
9717 Eurydice_slice pseudorandomness = uu____1.snd; in libcrux_ml_kem_ind_cca_decapsulate_62() local9731 pseudorandomness, expected_ciphertext); in libcrux_ml_kem_ind_cca_decapsulate_62()9875 Eurydice_slice pseudorandomness = uu____1.snd; in libcrux_ml_kem_ind_cca_encapsulate_ca() local9881 randomness0, pseudorandomness, ciphertext); in libcrux_ml_kem_ind_cca_encapsulate_ca()10818 Eurydice_slice pseudorandomness = uu____1.snd; in libcrux_ml_kem_ind_cca_unpacked_decapsulate_51() local10835 &key_pair->public_key.ind_cpa_public_key, decrypted, pseudorandomness, in libcrux_ml_kem_ind_cca_unpacked_decapsulate_51()10950 Eurydice_slice pseudorandomness = uu____0.snd; in libcrux_ml_kem_ind_cca_unpacked_encapsulate_0c() local10953 randomness, pseudorandomness, in libcrux_ml_kem_ind_cca_unpacked_encapsulate_0c()