Skip to content

Actions: formosa-crypto/formosa-mlkem

Actions

Check Constant-Time Security

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ct.yml
243 workflow runs
243 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use alt-ergo 2.5 Check Constant-Time Security #43: Pull request #33 opened by vbgl
March 14, 2024 11:38 58s vbgl:alt-ergo-2.5
vbgl:alt-ergo-2.5
March 14, 2024 11:38 58s
mlkem768 avx2 - updated gen matrix + SCT Check Constant-Time Security #42: Pull request #32 opened by tfaoliveira-sb
March 11, 2024 21:42 1m 0s mlkem768_avx2_gen_matrix_sct
mlkem768_avx2_gen_matrix_sct
March 11, 2024 21:42 1m 0s
mlkem768 - fix sct Check Constant-Time Security #41: Commit 42547e7 pushed by tfaoliveira
March 11, 2024 20:28 56s mlkem768_avx2_gen_matrix_sct
mlkem768_avx2_gen_matrix_sct
March 11, 2024 20:28 56s
keypair: spare a few additions Check Constant-Time Security #40: Pull request #28 synchronize by vbgl
February 29, 2024 07:10 59s vbgl:2024-02-14
vbgl:2024-02-14
February 29, 2024 07:10 59s
Prepare for alt-ergo 2.5 (#31) Check Constant-Time Security #39: Commit 969870e pushed by bgregoir
February 29, 2024 07:00 57s master
master
February 29, 2024 07:00 57s
Prepare for alt-ergo 2.5 Check Constant-Time Security #38: Pull request #31 opened by vbgl
February 26, 2024 06:00 56s vbgl:alt-ergo-2.5
vbgl:alt-ergo-2.5
February 26, 2024 06:00 56s
keypair: spare a few additions Check Constant-Time Security #37: Pull request #28 synchronize by vbgl
February 22, 2024 06:22 50s vbgl:2024-02-14
vbgl:2024-02-14
February 22, 2024 06:22 50s
replace keccakf1600 - with significant performance improvements for r… Check Constant-Time Security #36: Commit 2a441f8 pushed by tfaoliveira
February 21, 2024 22:14 1m 2s master
master
February 21, 2024 22:14 1m 2s
replace keccakf1600 - with significant performance improvements for ref Check Constant-Time Security #35: Pull request #24 synchronize by vbgl
February 17, 2024 08:52 54s replace_keccakf
replace_keccakf
February 17, 2024 08:52 54s
Tighter loop bounds Check Constant-Time Security #34: Commit 82d5ba7 pushed by vbgl
February 17, 2024 08:52 1m 0s replace_keccakf
replace_keccakf
February 17, 2024 08:52 1m 0s
replace keccakf1600 - with significant performance improvements for ref Check Constant-Time Security #33: Pull request #24 synchronize by vbgl
February 16, 2024 15:36 54s replace_keccakf
replace_keccakf
February 16, 2024 15:36 54s
Proof Check Constant-Time Security #32: Commit e4a0d24 pushed by vbgl
February 16, 2024 15:36 57s replace_keccakf
replace_keccakf
February 16, 2024 15:36 57s
keypair: spare a few additions Check Constant-Time Security #31: Pull request #28 opened by vbgl
February 15, 2024 09:27 54s vbgl:2024-02-14
vbgl:2024-02-14
February 15, 2024 09:27 54s
Tighter loop bounds Check Constant-Time Security #30: Pull request #27 opened by vbgl
February 13, 2024 06:13 56s vbgl:tighter-loop-bounds
vbgl:tighter-loop-bounds
February 13, 2024 06:13 56s
ref: poly: improve scheduling for ntt and invntt Check Constant-Time Security #29: Commit 26219aa pushed by vbgl
February 10, 2024 11:03 55s master
master
February 10, 2024 11:03 55s
poly ntt invntt scheduling Check Constant-Time Security #28: Pull request #25 synchronize by vbgl
February 10, 2024 03:39 53s poly_ntt_invntt_scheduling
poly_ntt_invntt_scheduling
February 10, 2024 03:39 53s
ref: poly: improve scheduling for ntt and invntt Check Constant-Time Security #27: Commit 8d44a61 pushed by vbgl
February 10, 2024 03:39 55s poly_ntt_invntt_scheduling
poly_ntt_invntt_scheduling
February 10, 2024 03:39 55s
poly ntt invntt scheduling Check Constant-Time Security #26: Pull request #25 opened by tfaoliveira
February 9, 2024 23:13 1m 1s poly_ntt_invntt_scheduling
poly_ntt_invntt_scheduling
February 9, 2024 23:13 1m 1s
ref: poly: improve scheduling for ntt and invntt Check Constant-Time Security #25: Commit f50b237 pushed by tfaoliveira
February 9, 2024 23:07 1m 5s poly_ntt_invntt_scheduling
poly_ntt_invntt_scheduling
February 9, 2024 23:07 1m 5s
replace keccakf1600 - with significant performance improvements for ref Check Constant-Time Security #24: Pull request #24 opened by tfaoliveira
February 9, 2024 22:09 59s replace_keccakf
replace_keccakf
February 9, 2024 22:09 59s
fips/keccakf: replace keccakf1600 implementation for a more efficient… Check Constant-Time Security #23: Commit acee459 pushed by tfaoliveira
February 9, 2024 21:58 1m 1s replace_keccakf
replace_keccakf
February 9, 2024 21:58 1m 1s
remove comment Check Constant-Time Security #22: Commit 61e980e pushed by mbbarbosa
February 9, 2024 21:45 1m 0s master
master
February 9, 2024 21:45 1m 0s
Ref: poly (de)compress: use a single loop counter (#23) Check Constant-Time Security #21: Commit 944d6ff pushed by tfaoliveira
February 9, 2024 18:21 58s master
master
February 9, 2024 18:21 58s
Ref: poly (de)compress: use a single loop counter Check Constant-Time Security #20: Pull request #23 synchronize by vbgl
February 9, 2024 17:55 55s vbgl:ref-poly-compress-decompress-onecounter
vbgl:ref-poly-compress-decompress-onecounter
February 9, 2024 17:55 55s
Ref: poly (de)compress: use a single loop counter Check Constant-Time Security #19: Pull request #23 opened by vbgl
February 9, 2024 14:50 56s vbgl:ref-poly-compress-decompress-onecounter
vbgl:ref-poly-compress-decompress-onecounter
February 9, 2024 14:50 56s