Skip to content

Actions: formosa-crypto/formosa-mlkem

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
602 workflow runs
602 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

transition to new keccak Check Constant-Time Security #161: Commit 75ac8b8 pushed by bacelar
October 19, 2024 00:37 57s new_keccak
new_keccak
October 19, 2024 00:37 57s
WIP Extract & Check proofs #129: Commit eea475f pushed by strub
October 18, 2024 16:11 2m 54s bdep-filter
bdep-filter
October 18, 2024 16:11 2m 54s
WIP Check Constant-Time Security #160: Commit eea475f pushed by strub
October 18, 2024 16:11 1m 2s bdep-filter
bdep-filter
October 18, 2024 16:11 1m 2s
Partial progress on example Extract & Check proofs #128: Commit 44eda81 pushed by Gustavo2622
October 10, 2024 11:29 3m 16s MLKEM_avx2_equivs_compress
MLKEM_avx2_equivs_compress
October 10, 2024 11:29 3m 16s
Partial progress on example Check Constant-Time Security #159: Commit 44eda81 pushed by Gustavo2622
October 10, 2024 11:29 1m 3s MLKEM_avx2_equivs_compress
MLKEM_avx2_equivs_compress
October 10, 2024 11:29 1m 3s
Proof adapted to new compress Extract & Check proofs #127: Commit 07e47fa pushed by mbbarbosa
October 9, 2024 21:12 1m 30s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 9, 2024 21:12 1m 30s
Proof adapted to new compress Check Constant-Time Security #158: Commit 07e47fa pushed by mbbarbosa
October 9, 2024 21:12 1m 0s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 9, 2024 21:12 1m 0s
newcompress Check Constant-Time Security #157: Commit 39a7b9b pushed by mbbarbosa
October 9, 2024 15:05 1m 7s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 9, 2024 15:05 1m 7s
newcompress Extract & Check proofs #126: Commit 39a7b9b pushed by mbbarbosa
October 9, 2024 15:05 3m 26s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 9, 2024 15:05 3m 26s
Progressing slowly Check Constant-Time Security #156: Commit a3371e8 pushed by mbbarbosa
October 9, 2024 13:41 1m 7s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
October 9, 2024 13:41 1m 7s
Progressing slowly Extract & Check proofs #125: Commit a3371e8 pushed by mbbarbosa
October 9, 2024 13:41 1m 47s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
October 9, 2024 13:41 1m 47s
short and tidy Extract & Check proofs #124: Commit 66bb870 pushed by mbbarbosa
October 7, 2024 18:41 1m 26s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
October 7, 2024 18:41 1m 26s
short and tidy Check Constant-Time Security #155: Commit 66bb870 pushed by mbbarbosa
October 7, 2024 18:41 57s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
October 7, 2024 18:41 57s
equivalence magic Extract & Check proofs #123: Commit a01c26d pushed by mbbarbosa
October 7, 2024 17:06 1m 17s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
October 7, 2024 17:06 1m 17s
equivalence magic Check Constant-Time Security #154: Commit a01c26d pushed by mbbarbosa
October 7, 2024 17:06 1m 5s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
October 7, 2024 17:06 1m 5s
Working on circuit equivs Check Constant-Time Security #153: Commit 95b45a8 pushed by mbbarbosa
October 7, 2024 12:55 1m 2s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
October 7, 2024 12:55 1m 2s
Working on circuit equivs Extract & Check proofs #122: Commit 95b45a8 pushed by mbbarbosa
October 7, 2024 12:55 1m 42s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
October 7, 2024 12:55 1m 42s
Missing ops Check Constant-Time Security #152: Commit 303de0f pushed by mbbarbosa
October 6, 2024 12:44 1m 2s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
October 6, 2024 12:44 1m 2s
Missing ops Extract & Check proofs #121: Commit 303de0f pushed by mbbarbosa
October 6, 2024 12:44 1m 14s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
October 6, 2024 12:44 1m 14s
miss zeroextu32 Check Constant-Time Security #151: Commit e318c0c pushed by mbbarbosa
October 5, 2024 15:24 1m 0s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
October 5, 2024 15:24 1m 0s
miss zeroextu32 Extract & Check proofs #120: Commit e318c0c pushed by mbbarbosa
October 5, 2024 15:24 2m 49s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
October 5, 2024 15:24 2m 49s
fix Makefiles in bench dir Check Constant-Time Security #150: Commit 2017160 pushed by bacelar
September 28, 2024 01:38 58s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 28, 2024 01:38 58s
fix Makefiles in bench dir Extract & Check proofs #119: Commit 2017160 pushed by bacelar
September 28, 2024 01:38 1m 15s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 28, 2024 01:38 1m 15s
merged mbb+tfa+jba Check Constant-Time Security #149: Commit d4168e1 pushed by bacelar
September 28, 2024 00:05 1m 0s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 28, 2024 00:05 1m 0s
merged mbb+tfa+jba Extract & Check proofs #118: Commit d4168e1 pushed by bacelar
September 28, 2024 00:05 1m 14s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 28, 2024 00:05 1m 14s