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

pretty much admit free Check Constant-Time Security #198: Commit 2ce5124 pushed by mbbarbosa
November 4, 2024 19:09 1m 5s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 4, 2024 19:09 1m 5s
Yes Check Constant-Time Security #197: Commit d702a45 pushed by Gustavo2622
November 4, 2024 15:36 59s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 4, 2024 15:36 59s
path for slices Check Constant-Time Security #196: Commit 6068dcb pushed by mbbarbosa
November 4, 2024 14:39 5m 16s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 4, 2024 14:39 5m 16s
slicing madness Check Constant-Time Security #195: Commit e21494d pushed by mbbarbosa
November 2, 2024 17:13 56s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 2, 2024 17:13 56s
Annoying Check Constant-Time Security #194: Commit 8e40414 pushed by mbbarbosa
November 2, 2024 12:32 1m 13s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 2, 2024 12:32 1m 13s
Annoying Check Constant-Time Security #193: Commit f2ef4f2 pushed by mbbarbosa
November 2, 2024 12:23 1m 45s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 2, 2024 12:23 1m 45s
Annoying Check Constant-Time Security #192: Commit adb01c6 pushed by mbbarbosa
November 2, 2024 12:13 1m 2s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 2, 2024 12:13 1m 2s
admits only in bindings Check Constant-Time Security #191: Commit 3954877 pushed by mbbarbosa
November 2, 2024 00:17 56s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 2, 2024 00:17 56s
Merge branch 'mlkem768_avx2_gen_matrix_sct_newparse_newcompress10' of… Check Constant-Time Security #190: Commit 5288e04 pushed by mbbarbosa
November 1, 2024 19:55 57s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 1, 2024 19:55 57s
Shift binding prototype Check Constant-Time Security #189: Commit c100608 pushed by Gustavo2622
November 1, 2024 19:29 1m 0s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 1, 2024 19:29 1m 0s
Ainit bindings proved Check Constant-Time Security #188: Commit 2acfe05 pushed by Gustavo2622
November 1, 2024 15:57 1m 2s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 1, 2024 15:57 1m 2s
Removing admits Check Constant-Time Security #187: Commit e9ae902 pushed by mbbarbosa
November 1, 2024 13:40 1m 2s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 1, 2024 13:40 1m 2s
rewrites all justified Check Constant-Time Security #186: Commit 2181c6f pushed by mbbarbosa
October 31, 2024 16:29 58s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 31, 2024 16:29 58s
Cleaning up Check Constant-Time Security #185: Commit 2f6db1f pushed by mbbarbosa
October 31, 2024 11:45 57s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 31, 2024 11:45 57s
Compact proofs Check Constant-Time Security #184: Commit 060b8dd pushed by mbbarbosa
October 30, 2024 22:59 1m 1s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 30, 2024 22:59 1m 1s
proof works Check Constant-Time Security #183: Commit a922ebc pushed by mbbarbosa
October 28, 2024 17:21 1m 3s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 28, 2024 17:21 1m 3s
Lane func works Check Constant-Time Security #182: Commit 51baeca pushed by mbbarbosa
October 27, 2024 18:46 1m 3s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 27, 2024 18:46 1m 3s
Lane func works Check Constant-Time Security #181: Commit 09bbe0b pushed by mbbarbosa
October 27, 2024 18:16 1m 1s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 27, 2024 18:16 1m 1s
bugs Check Constant-Time Security #180: Commit 3ca5d83 pushed by mbbarbosa
October 27, 2024 14:29 1m 6s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 27, 2024 14:29 1m 6s
bug Check Constant-Time Security #179: Commit c3e817e pushed by mbbarbosa
October 27, 2024 10:24 1m 1s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 27, 2024 10:24 1m 1s
bug Check Constant-Time Security #178: Commit 4bc1d55 pushed by mbbarbosa
October 27, 2024 10:19 1m 3s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 27, 2024 10:19 1m 3s
Merge remote-tracking branch 'refs/remotes/origin/mlkem768_avx2_gen_m… Check Constant-Time Security #177: Commit a72e61e pushed by Gustavo2622
October 26, 2024 14:12 57s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 26, 2024 14:12 57s
Timing Check Constant-Time Security #176: Commit a37361f pushed by mbbarbosa
October 26, 2024 07:35 56s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 26, 2024 07:35 56s
current Check Constant-Time Security #175: Commit b6628bb pushed by mbbarbosa
October 25, 2024 22:15 1m 1s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 25, 2024 22:15 1m 1s
Merge remote-tracking branch 'refs/remotes/origin/mlkem768_avx2_gen_m… Check Constant-Time Security #174: Commit 58379fc pushed by Gustavo2622
October 25, 2024 20:26 56s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 25, 2024 20:26 56s