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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fixed broken proofs from last EC bdep merge Check Constant-Time Security #256: Commit ef60df5 pushed by mbbarbosa
February 24, 2025 20:32 57s bdep
bdep
February 24, 2025 20:32 57s
No admits Check Constant-Time Security #255: Commit eb3f16c pushed by mbbarbosa
February 18, 2025 21:06 1m 0s bdep
bdep
February 18, 2025 21:06 1m 0s
fix return types Check Constant-Time Security #254: Commit 0d27b59 pushed by bacelar
February 18, 2025 16:55 57s bdep
bdep
February 18, 2025 16:55 57s
correct some return types Check Constant-Time Security #253: Commit 7a22f64 pushed by bacelar
February 18, 2025 16:46 56s bdep
bdep
February 18, 2025 16:46 56s
merged filter24 proofs Check Constant-Time Security #252: Commit fdb4f34 pushed by bacelar
February 18, 2025 01:16 55s bdep
bdep
February 18, 2025 01:16 55s
progress Check Constant-Time Security #251: Commit e5a489b pushed by mbbarbosa
February 18, 2025 00:05 56s bdep
bdep
February 18, 2025 00:05 56s
progress Check Constant-Time Security #250: Commit 840aee3 pushed by mbbarbosa
February 17, 2025 23:15 1m 0s bdep
bdep
February 17, 2025 23:15 1m 0s
some progress Check Constant-Time Security #249: Commit fa025f4 pushed by mbbarbosa
February 17, 2025 21:40 1m 10s bdep
bdep
February 17, 2025 21:40 1m 10s
jasmin submodule follows main branch Check Constant-Time Security #248: Commit ae08082 pushed by bacelar
February 12, 2025 16:20 1m 0s bdep
bdep
February 12, 2025 16:20 1m 0s
fixed error Check Constant-Time Security #247: Commit ab37ff5 pushed by mbbarbosa
February 12, 2025 15:56 1m 2s bdep
bdep
February 12, 2025 15:56 1m 2s
write safe Check Constant-Time Security #246: Commit 2bafe2d pushed by mbbarbosa
February 12, 2025 14:38 1m 1s bdep
bdep
February 12, 2025 14:38 1m 1s
only the write 128 safe function to go Check Constant-Time Security #245: Commit 08821e6 pushed by mbbarbosa
February 12, 2025 14:38 1m 1s bdep
bdep
February 12, 2025 14:38 1m 1s
Most recent jasmin and jasmin2ec extraction Check Constant-Time Security #244: Commit 600dfe3 pushed by mbbarbosa
February 11, 2025 20:06 56s bdep
bdep
February 11, 2025 20:06 56s
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
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