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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix specs Check Constant-Time Security #221: Commit c60282f pushed by bacelar
December 17, 2024 17:24 1m 4s wait_for_new_keccak
wait_for_new_keccak
December 17, 2024 17:24 1m 4s
stack KEM level done Check Constant-Time Security #220: Commit a805644 pushed by mbbarbosa
December 11, 2024 20:46 58s wait_for_new_keccak
wait_for_new_keccak
December 11, 2024 20:46 58s
pending Check Constant-Time Security #219: Commit 54e7069 pushed by mbbarbosa
December 11, 2024 17:59 1m 2s wait_for_new_keccak
wait_for_new_keccak
December 11, 2024 17:59 1m 2s
recovered proof; only shake related admits remaning Check Constant-Time Security #218: Commit 32207bb pushed by mbbarbosa
December 7, 2024 20:40 57s wait_for_new_keccak
wait_for_new_keccak
December 7, 2024 20:40 57s
correctness claim for stack variant Check Constant-Time Security #217: Commit 715d3b4 pushed by mbbarbosa
December 6, 2024 16:39 56s wait_for_new_keccak
wait_for_new_keccak
December 6, 2024 16:39 56s
extraction Check Constant-Time Security #216: Commit e56e947 pushed by mbbarbosa
December 6, 2024 15:04 57s wait_for_new_keccak
wait_for_new_keccak
December 6, 2024 15:04 57s
avx2 stack extraction Check Constant-Time Security #215: Commit 5e0e60b pushed by mbbarbosa
December 6, 2024 15:02 1m 4s wait_for_new_keccak
wait_for_new_keccak
December 6, 2024 15:02 1m 4s
cleanup Check Constant-Time Security #214: Commit 6a88649 pushed by mbbarbosa
December 6, 2024 15:01 1m 6s wait_for_new_keccak
wait_for_new_keccak
December 6, 2024 15:01 1m 6s
stack variant Check Constant-Time Security #213: Commit 4eee56d pushed by mbbarbosa
December 6, 2024 14:41 1m 2s wait_for_new_keccak
wait_for_new_keccak
December 6, 2024 14:41 1m 2s
cleanup done; domain separation done Check Constant-Time Security #212: Commit dfb40c5 pushed by mbbarbosa
December 6, 2024 13:21 58s wait_for_new_keccak
wait_for_new_keccak
December 6, 2024 13:21 58s
spurious instruction Check Constant-Time Security #211: Commit 3e7394e pushed by mbbarbosa
December 4, 2024 13:44 1m 2s wait_for_new_keccak
wait_for_new_keccak
December 4, 2024 13:44 1m 2s
cleaning up: Check Constant-Time Security #210: Commit 4290e12 pushed by mbbarbosa
December 4, 2024 00:34 1m 1s wait_for_new_keccak
wait_for_new_keccak
December 4, 2024 00:34 1m 1s
cleaning up Check Constant-Time Security #209: Commit 57c568e pushed by mbbarbosa
December 3, 2024 19:16 58s wait_for_new_keccak
wait_for_new_keccak
December 3, 2024 19:16 58s
filter48 integrated Check Constant-Time Security #208: Commit 2c6d215 pushed by mbbarbosa
December 3, 2024 12:55 1m 2s wait_for_new_keccak
wait_for_new_keccak
December 3, 2024 12:55 1m 2s
filter48 integrated Check Constant-Time Security #207: Commit 2c6d215 pushed by mbbarbosa
December 3, 2024 12:54 58s link_to_bdep_genmatrix
link_to_bdep_genmatrix
December 3, 2024 12:54 58s
remove old keccak code stubs Check Constant-Time Security #206: Commit 702e85b pushed by bacelar
December 2, 2024 14:52 1m 2s wait_for_new_keccak
wait_for_new_keccak
December 2, 2024 14:52 1m 2s
add admits to broken proofs Check Constant-Time Security #205: Commit d06f818 pushed by bacelar
December 2, 2024 13:15 1m 4s wait_for_new_keccak
wait_for_new_keccak
December 2, 2024 13:15 1m 4s
skeleton for keccak interface Check Constant-Time Security #204: Commit 0504dae pushed by bacelar
November 30, 2024 22:22 58s wait_for_new_keccak
wait_for_new_keccak
November 30, 2024 22:22 58s
speeding things up a bit Check Constant-Time Security #203: Commit b4198d1 pushed by mbbarbosa
November 30, 2024 14:25 1m 2s wait_for_new_keccak
wait_for_new_keccak
November 30, 2024 14:25 1m 2s
pending Check Constant-Time Security #202: Commit 6b9af15 pushed by mbbarbosa
November 29, 2024 13:21 1m 0s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 29, 2024 13:21 1m 0s
merge Check Constant-Time Security #201: Commit 3491684 pushed by mbbarbosa
November 11, 2024 10:22 1m 6s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 11, 2024 10:22 1m 6s
added bindings.ec to the repo Check Constant-Time Security #200: Commit be9f212 pushed by bacelar
November 11, 2024 01:48 1m 5s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 11, 2024 01:48 1m 5s
WIP Check Constant-Time Security #199: Commit 2a8f5f3 pushed by strub
November 8, 2024 18:23 1m 2s bdep-filter
bdep-filter
November 8, 2024 18:23 1m 2s
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