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
223 workflow runs
223 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

mr attempt Check Constant-Time Security #148: Commit 218f5ef pushed by mbbarbosa
September 27, 2024 19:00 1m 1s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 27, 2024 19:00 1m 1s
mr equiv Check Constant-Time Security #147: Commit 77f6ceb pushed by mbbarbosa
September 27, 2024 18:08 57s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 27, 2024 18:08 57s
pending smts Check Constant-Time Security #146: Commit 0a822ad pushed by mbbarbosa
September 27, 2024 17:37 1m 3s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 27, 2024 17:37 1m 3s
Merge branch 'mlkem768_avx2_gen_matrix_sct_newparse' of github.com:fo… Check Constant-Time Security #145: Commit 42689a0 pushed by mbbarbosa
September 27, 2024 15:31 56s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 27, 2024 15:31 56s
gen_matrix: fix Check Constant-Time Security #144: Commit 867529e pushed by tfaoliveira-sb
September 27, 2024 13:18 56s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 27, 2024 13:18 56s
gen_matrix: fix Check Constant-Time Security #143: Commit 5e66acb pushed by tfaoliveira-sb
September 26, 2024 18:30 55s mlkem768_avx2_gen_matrix_sct_newparse_master
mlkem768_avx2_gen_matrix_sct_newparse_master
September 26, 2024 18:30 55s
gen_matrix: fix Check Constant-Time Security #142: Commit 64b3cf5 pushed by tfaoliveira-sb
September 26, 2024 18:29 57s mlkem768_avx2_gen_matrix_sct_newparse_master
mlkem768_avx2_gen_matrix_sct_newparse_master
September 26, 2024 18:29 57s
gen_matrix: fix Check Constant-Time Security #141: Commit 71a4d15 pushed by tfaoliveira-sb
September 26, 2024 18:16 56s mlkem768_avx2_gen_matrix_sct_newparse_master
mlkem768_avx2_gen_matrix_sct_newparse_master
September 26, 2024 18:16 56s
gen_matrix: fix Check Constant-Time Security #140: Commit e6d8baa pushed by tfaoliveira-sb
September 26, 2024 16:11 58s mlkem768_avx2_gen_matrix_sct_newparse_master
mlkem768_avx2_gen_matrix_sct_newparse_master
September 26, 2024 16:11 58s
genmatrix mostly done Check Constant-Time Security #139: Commit e14926d pushed by bacelar
September 24, 2024 15:25 58s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 24, 2024 15:25 58s
Merge branch 'mlkem768_avx2_gen_matrix_sct_newparse' of github.com:fo… Check Constant-Time Security #138: Commit 2378c7a pushed by bacelar
September 23, 2024 13:31 56s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 23, 2024 13:31 56s
Going for equivs Check Constant-Time Security #137: Commit 5b7d329 pushed by mbbarbosa
September 20, 2024 17:34 1m 2s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 20, 2024 17:34 1m 2s
Going for equivs Check Constant-Time Security #136: Commit a6f35b0 pushed by mbbarbosa
September 20, 2024 17:32 58s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 20, 2024 17:32 58s
finished mr compress proof Check Constant-Time Security #135: Commit 26dccbf pushed by mbbarbosa
September 11, 2024 22:09 1m 1s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 11, 2024 22:09 1m 1s
Gets ugly when non-aligned Check Constant-Time Security #134: Commit 5c518b2 pushed by mbbarbosa
August 28, 2024 17:30 1m 2s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 28, 2024 17:30 1m 2s
Second example, working Check Constant-Time Security #133: Commit 8a45ec4 pushed by mbbarbosa
August 27, 2024 23:15 1m 1s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 27, 2024 23:15 1m 1s
stopped further ahead Check Constant-Time Security #132: Commit 19ba342 pushed by mbbarbosa
August 27, 2024 17:01 57s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 27, 2024 17:01 57s
Missing files Check Constant-Time Security #131: Commit 9809171 pushed by mbbarbosa
August 27, 2024 16:49 1m 7s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 27, 2024 16:49 1m 7s
Missing files Check Constant-Time Security #130: Commit 1474c8e pushed by mbbarbosa
August 27, 2024 16:48 1m 37s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 27, 2024 16:48 1m 37s
Missing file Check Constant-Time Security #129: Commit d5372f0 pushed by mbbarbosa
August 27, 2024 16:47 57s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 27, 2024 16:47 57s
progress Check Constant-Time Security #128: Commit 77df273 pushed by mbbarbosa
August 27, 2024 16:41 56s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 27, 2024 16:41 56s
Next example Check Constant-Time Security #127: Commit 05bb9d3 pushed by mbbarbosa
August 27, 2024 15:37 57s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 27, 2024 15:37 57s
Merge branch 'mlkem768_avx2_gen_matrix_sct_newparse' of github.com:fo… Check Constant-Time Security #126: Commit ecdbc31 pushed by mbbarbosa
August 25, 2024 21:26 1m 3s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 25, 2024 21:26 1m 3s
close gen_matrix_buf_rejection_h Check Constant-Time Security #125: Commit 3929eae pushed by bacelar
August 6, 2024 14:43 1m 0s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 6, 2024 14:43 1m 0s
compiling with current jasmin and eascrypt main Check Constant-Time Security #124: Commit f67d60b pushed by mbbarbosa
August 4, 2024 13:04 58s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 4, 2024 13:04 58s