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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add first implementation of mlkem-768 for ARM M4 Check Constant-Time Security #243: Commit 55508ba pushed by esquivel71
January 24, 2025 16:43 1m 3s mlkem_arm
mlkem_arm
January 24, 2025 16:43 1m 3s
test: benchmarking pass Check Constant-Time Security #242: Commit a9a1452 pushed by esquivel71
January 24, 2025 16:18 1m 3s mlkem_arm
mlkem_arm
January 24, 2025 16:18 1m 3s
link jasmin submodule to a branch with [rigid] flag Check Constant-Time Security #241: Commit 81f4a36 pushed by bacelar
January 24, 2025 09:53 1m 4s bdep
bdep
January 24, 2025 09:53 1m 4s
change eclib Check Constant-Time Security #240: Commit c688316 pushed by bacelar
January 23, 2025 00:32 55s bdep
bdep
January 23, 2025 00:32 55s
filter24 (bdep) Check Constant-Time Security #239: Commit e18a01a pushed by bacelar
January 22, 2025 16:03 1m 3s bdep
bdep
January 22, 2025 16:03 1m 3s
final touches Check Constant-Time Security #238: Commit 9abd13a pushed by bacelar
January 15, 2025 16:12 1m 8s bdep
bdep
January 15, 2025 16:12 1m 8s
adjusting line numbering Check Constant-Time Security #237: Commit e32d9c3 pushed by bacelar
January 15, 2025 09:48 54s bdep
bdep
January 15, 2025 09:48 54s
finished keccak interface for mlkem_ref Check Constant-Time Security #236: Commit 27b0aed pushed by bacelar
January 15, 2025 09:24 1m 0s bdep
bdep
January 15, 2025 09:24 1m 0s
final fixes Check Constant-Time Security #235: Commit 8adee7f pushed by bacelar
January 13, 2025 16:51 1m 3s bdep
bdep
January 13, 2025 16:51 1m 3s
keccak interface almost closed Check Constant-Time Security #234: Commit e5db289 pushed by bacelar
January 11, 2025 03:35 55s bdep
bdep
January 11, 2025 03:35 55s
Update files in proofs/security to verify with newest EC and provers Check Constant-Time Security #233: Pull request #49 opened by MM45
January 9, 2025 14:54 Action required MM45:master
MM45:master
January 9, 2025 14:54 Action required
upd Check Constant-Time Security #232: Commit abd148c pushed by bacelar
January 9, 2025 10:36 1m 13s bdep
bdep
January 9, 2025 10:36 1m 13s
upd Check Constant-Time Security #231: Commit 9c55b72 pushed by bacelar
January 8, 2025 12:32 58s bdep
bdep
January 8, 2025 12:32 58s
Make submodule jasmin track fix-eclib-avx2-shifts (which fixes the se… Check Constant-Time Security #230: Commit d023643 pushed by bacelar
January 6, 2025 17:59 58s bdep
bdep
January 6, 2025 17:59 58s
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