Home
last modified time | relevance | path

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 Dsampling.c.patch25 < 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 Dsampling.c.patch25 < 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 Dsampling.c14 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 Dsampling.c14 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 Dsampling.saw9 `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 Daes.saw137 // 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 Dsampling.c37 _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 Dsampling.c47 _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 Dsampling.saw9 `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 DREADME.md9 - `get_rand_mod_len` always generates the random position before `aes_ctr_prf` runs out of invocati…