Searched refs:get_rand_mod_len (Results 1 – 10 of 10) sorted by relevance
/dports/security/s2n/s2n-tls-1.1.2/tests/saw/bike_r1/patch/ |
H A D | sampling.c.patch | 25 < POSIX_GUARD(get_rand_mod_len(&wlist[ctr], len, prf_state)); 28 > OLD_GUARD(get_rand_mod_len(&wlist[ctr], len, prf_state), res, EXIT);
|
/dports/security/s2n/s2n-tls-1.1.2/tests/saw/bike_r2/patch/ |
H A D | sampling.c.patch | 25 < POSIX_GUARD(get_rand_mod_len(&wlist[ctr], len, prf_state)); 28 > OLD_GUARD(get_rand_mod_len(&wlist[ctr], len, prf_state), res, EXIT);
|
/dports/security/s2n/s2n-tls-1.1.2/pq-crypto/bike_r1/ |
H A D | sampling.c | 14 get_rand_mod_len(OUT uint32_t * rand_pos, in get_rand_mod_len() function 107 POSIX_GUARD(get_rand_mod_len(&wlist[ctr], len, prf_state)); in generate_sparse_rep()
|
/dports/security/s2n/s2n-tls-1.1.2/pq-crypto/bike_r2/ |
H A D | sampling.c | 14 get_rand_mod_len(OUT uint32_t * rand_pos, in get_rand_mod_len() function 107 POSIX_GUARD(get_rand_mod_len(&wlist[ctr], len, prf_state)); in generate_sparse_rep()
|
/dports/security/s2n/s2n-tls-1.1.2/tests/saw/bike_r1/proof/ |
H A D | sampling.saw | 9 `get_rand_mod_len` uses the results of the aes_ctr_prf in a way 209 get_rand_mod_len_loop_ov <- admit "__breakpoint__get_rand_mod_len_loop#get_rand_mod_len" 211 verify "__breakpoint__get_rand_mod_len_loop#get_rand_mod_len" 216 get_rand_mod_len_ov <- verify "get_rand_mod_len"
|
H A D | aes.saw | 137 // get_rand_mod_len which could in theory run out of invocations 138 // and fail, but we can't write the correct spec for get_rand_mod_len
|
/dports/security/s2n/s2n-tls-1.1.2/pq-crypto/bike_r3/ |
H A D | sampling.c | 37 _INLINE_ ret_t get_rand_mod_len(OUT uint32_t * rand_pos, in get_rand_mod_len() function 103 POSIX_GUARD(get_rand_mod_len(&out[ctr], z, prf_state)); in generate_indices_mod_z()
|
/dports/security/liboqs/liboqs-0.7.0/src/kem/bike/additional_r3/ |
H A D | sampling.c | 47 _INLINE_ ret_t get_rand_mod_len(OUT uint32_t * rand_pos, in get_rand_mod_len() function 113 GUARD(get_rand_mod_len(&out[ctr], z, prf_state)); in generate_indices_mod_z()
|
/dports/security/s2n/s2n-tls-1.1.2/tests/saw/bike_r2/proof/ |
H A D | sampling.saw | 9 `get_rand_mod_len` uses the results of the aes_ctr_prf in a way 236 get_rand_mod_len_loop_ov <- admit "__breakpoint__get_rand_mod_len_loop#get_rand_mod_len" 238 verify "__breakpoint__get_rand_mod_len_loop#get_rand_mod_len" 243 get_rand_mod_len_ov <- verify "get_rand_mod_len"
|
/dports/security/s2n/s2n-tls-1.1.2/tests/saw/bike_r1/ |
H A D | README.md | 9 - `get_rand_mod_len` always generates the random position before `aes_ctr_prf` runs out of invocati…
|