Skip to content

Actions: formosa-crypto/formosa-mlkem

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
613 workflow runs
613 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: update actions/checkout to v4 Check Constant-Time Security #9: Commit 47a5276 pushed by vbgl
February 7, 2024 20:53 55s master
master
February 7, 2024 20:53 55s
Hakyber Hakyber #143: Manually run by vbgl
February 7, 2024 19:16 2h 43m 53s remove_lea
remove_lea
February 7, 2024 19:16 2h 43m 53s
remove -lea Check Constant-Time Security #8: Pull request #16 synchronize by vbgl
February 7, 2024 19:16 55s remove_lea
remove_lea
February 7, 2024 19:16 55s
mlkem: remove -lea and adjust code Check Constant-Time Security #7: Commit e3a5205 pushed by vbgl
February 7, 2024 19:16 59s remove_lea
remove_lea
February 7, 2024 19:16 59s
Ci updates Check Constant-Time Security #6: Pull request #18 opened by vbgl
February 7, 2024 18:05 56s vbgl:ci-updates
vbgl:ci-updates
February 7, 2024 18:05 56s
remove -lea Check Constant-Time Security #5: Pull request #16 synchronize by tfaoliveira
February 7, 2024 15:45 55s remove_lea
remove_lea
February 7, 2024 15:45 55s
ML-KEM implementations are constant-time Check Constant-Time Security #4: Commit 4f85573 pushed by vbgl
February 7, 2024 15:08 1m 1s master
master
February 7, 2024 15:08 1m 1s
ML-KEM implementations are constant-time Hakyber #142: Commit 4f85573 pushed by vbgl
February 7, 2024 15:08 2h 41m 4s master
master
February 7, 2024 15:08 2h 41m 4s
ML-KEM implementations are constant-time Check Constant-Time Security #3: Pull request #14 synchronize by vbgl
February 7, 2024 13:19 55s vbgl:constant-time
vbgl:constant-time
February 7, 2024 13:19 55s
fix poly_decompress: read out of bounds; originally proposed here: ht… Hakyber #141: Commit bc31973 pushed by vbgl
February 7, 2024 13:18 2h 39m 3s master
master
February 7, 2024 13:18 2h 39m 3s
poly_basemul: compute the zetas counter from i (#15) Hakyber #140: Commit 82da326 pushed by tfaoliveira
February 7, 2024 00:52 2h 40m 50s master
master
February 7, 2024 00:52 2h 40m 50s
gen-matrix: use a slice instead of two counters (#13) Hakyber #139: Commit cf9bdf4 pushed by tfaoliveira
February 6, 2024 15:14 2h 42m 23s master
master
February 6, 2024 15:14 2h 42m 23s
ML-KEM implementations are constant-time Check Constant-Time Security #2: Pull request #14 synchronize by vbgl
February 6, 2024 10:59 59s vbgl:constant-time
vbgl:constant-time
February 6, 2024 10:59 59s
ML-KEM implementations are constant-time Check Constant-Time Security #1: Pull request #14 opened by vbgl
February 6, 2024 10:36 54s vbgl:constant-time
vbgl:constant-time
February 6, 2024 10:36 54s
Minor code cleanup Hakyber #138: Commit b2358e2 pushed by vbgl
February 5, 2024 12:17 2h 42m 4s master
master
February 5, 2024 12:17 2h 42m 4s
Add Nix configuration files Hakyber #137: Commit 7d864b3 pushed by vbgl
February 5, 2024 10:54 2h 43m 11s master
master
February 5, 2024 10:54 2h 43m 11s
ML-KEM ref: fix enc derand (#11) Hakyber #136: Commit 796a8d6 pushed by bgregoir
February 5, 2024 10:43 2h 45m 3s master
master
February 5, 2024 10:43 2h 45m 3s
Use latest Jasmin release (2023.06.2) Hakyber #135: Commit 59d2ff7 pushed by vbgl
February 5, 2024 07:45 2h 46m 59s master
master
February 5, 2024 07:45 2h 46m 59s
Propagated removing term Hakyber #134: Commit 4ea05f7 pushed by mbbarbosa
February 2, 2024 13:30 2h 41m 30s master
master
February 2, 2024 13:30 2h 41m 30s
Slightly tighter theorems. There was an extra correctness term Hakyber #133: Commit b395475 pushed by mbbarbosa
February 2, 2024 12:51 2h 53m 9s master
master
February 2, 2024 12:51 2h 53m 9s
Make a few proofs more robust Hakyber #132: Commit a825904 pushed by strub
February 1, 2024 16:47 2h 40m 50s master
master
February 1, 2024 16:47 2h 40m 50s
Merge branch 'master' of github.com:formosa-crypto/hakyber Hakyber #131: Commit 16a2192 pushed by mbbarbosa
February 1, 2024 13:08 2h 46m 42s master
master
February 1, 2024 13:08 2h 46m 42s
ci: remove automatic run on pull requests; runs on pushes to master; … Hakyber #130: Commit e0faf5c pushed by tfaoliveira
January 26, 2024 14:38 2h 57m 17s master
master
January 26, 2024 14:38 2h 57m 17s
improved gen_matrix + SCT protections Hakyber #129: Pull request #8 synchronize by tfaoliveira
January 24, 2024 16:29 15s fgmsct
fgmsct
January 24, 2024 16:29 15s
mlkem_avx2: mlkem768_avx2 is SCT: temporary -- with keccakf1600 avx2 … Hakyber #128: Commit 2c3dcab pushed by tfaoliveira
January 24, 2024 16:29 22s fgmsct
fgmsct
January 24, 2024 16:29 22s
ProTip! You can narrow down the results and go further in time using created:<2024-01-24 or the other filters available.