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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

progressing Check Constant-Time Security #229: Commit 284736c pushed by mbbarbosa
December 22, 2024 13:00 56s wait_for_new_keccak
wait_for_new_keccak
December 22, 2024 13:00 56s
stack proof done. Check Constant-Time Security #228: Commit d2820cc pushed by mbbarbosa
December 22, 2024 13:00 56s wait_for_new_keccak
wait_for_new_keccak
December 22, 2024 13:00 56s
progressing Check Constant-Time Security #227: Commit 4e28880 pushed by mbbarbosa
December 22, 2024 01:33 1m 2s wait_for_new_keccak
wait_for_new_keccak
December 22, 2024 01:33 1m 2s
last level of stack proof Check Constant-Time Security #226: Commit 2f3508c pushed by mbbarbosa
December 21, 2024 10:34 57s wait_for_new_keccak
wait_for_new_keccak
December 21, 2024 10:34 57s
Merge branch 'wait_for_new_keccak' of github.com:formosa-crypto/formo… Check Constant-Time Security #225: Commit bf85cc7 pushed by mbbarbosa
December 20, 2024 00:08 1m 3s wait_for_new_keccak
wait_for_new_keccak
December 20, 2024 00:08 1m 3s
refine some smt()s Check Constant-Time Security #224: Commit a9671d8 pushed by bacelar
December 19, 2024 23:01 57s wait_for_new_keccak
wait_for_new_keccak
December 19, 2024 23:01 57s
Merge branch 'wait_for_new_keccak' of github.com:formosa-crypto/formo… Check Constant-Time Security #223: Commit 9b32cec pushed by bacelar
December 19, 2024 01:13 1m 0s wait_for_new_keccak
wait_for_new_keccak
December 19, 2024 01:13 1m 0s
pending Check Constant-Time Security #222: Commit 2c80d37 pushed by mbbarbosa
December 18, 2024 09:36 1m 4s wait_for_new_keccak
wait_for_new_keccak
December 18, 2024 09:36 1m 4s
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