issues
search
formosa-crypto
/
formosa-mlkem
Other
11
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Existence of poly_csubq
#48
vincentvbh
opened
1 month ago
1
testing: mlkem
#47
tfaoliveira-sb
closed
3 months ago
1
Update jasmin
#46
strub
closed
3 months ago
1
Fix proofs w.r.t. EC dev
#45
strub
closed
3 months ago
1
CI: use ghcr docker image + simplify script
#44
strub
closed
3 months ago
0
create individual proof targets
#43
fdupress
closed
3 months ago
0
Declassify the random seed
#39
vbgl
closed
3 months ago
0
Update easycrypt
#38
vbgl
closed
5 months ago
0
Execute ML-KEM implementations in the Jasmin interpreter
#37
vbgl
closed
6 months ago
0
Use latest Jasmin release (2023.06.3)
#36
vbgl
closed
6 months ago
0
Fix w.r.t. EasyCrypt c0e1455
#35
strub
closed
7 months ago
0
CI: use github docker image
#34
strub
closed
3 months ago
3
Use alt-ergo 2.5
#33
vbgl
closed
7 months ago
6
mlkem768 avx2 - updated gen matrix + SCT
#32
tfaoliveira-sb
closed
1 month ago
2
Prepare for alt-ergo 2.5
#31
vbgl
closed
8 months ago
0
Dead assignment
#30
tfaoliveira
opened
8 months ago
0
A question on the accumulation of products.
#29
vincentvbh
opened
8 months ago
0
keypair: spare a few additions
#28
vbgl
closed
7 months ago
0
Tighter loop bounds
#27
vbgl
closed
9 months ago
1
add declassify annotations to make the sct-checker happy
#26
bgregoir
closed
9 months ago
3
poly ntt invntt scheduling
#25
tfaoliveira
closed
9 months ago
2
replace keccakf1600 - with significant performance improvements for ref
#24
tfaoliveira
closed
8 months ago
7
Ref: poly (de)compress: use a single loop counter
#23
vbgl
closed
9 months ago
1
MLKEM: remove unused variables & duplicate parameters
#22
vbgl
closed
9 months ago
0
poly_compress: one counter
#21
vbgl
closed
9 months ago
2
ref.poly_getnoise: use a single iteration variable
#20
vbgl
closed
9 months ago
2
gen-matrix: clearer loop condition
#19
vbgl
closed
9 months ago
2
Ci updates
#18
vbgl
closed
9 months ago
0
fix poly_decompress: read out of bounds
#17
tfaoliveira
closed
9 months ago
2
remove -lea
#16
tfaoliveira
closed
9 months ago
7
poly_basemul: compute the zetas counter from i
#15
vbgl
closed
9 months ago
2
ML-KEM implementations are constant-time
#14
vbgl
closed
9 months ago
1
gen-matrix: use a slice instead of two counters
#13
vbgl
closed
9 months ago
1
Minor code cleanup
#12
vbgl
closed
9 months ago
1
ML-KEM ref: fix enc derand
#11
vbgl
closed
9 months ago
1
Make a few proofs more robust
#10
vbgl
closed
9 months ago
0
Use latest Jasmin release (2023.06.2)
#9
vbgl
closed
9 months ago
0
improved gen_matrix + SCT protections
#8
tfaoliveira
closed
8 months ago
3
Kyber ref fqmul opt
#7
tfaoliveira
closed
9 months ago
1
Failure to build Docker image for CHES23 paper artefacts
#6
rod-chapman
closed
11 months ago
3
Simplified gen_matrix implementation with improved kecck_avx2
#5
bacelar
closed
1 year ago
0
Make the `ref` implementation accepted by the safety checker
#4
vbgl
opened
1 year ago
2
gen_matrix.jinc: fix the order of “require” directives
#3
vbgl
closed
9 months ago
0
fip202_4x : code similar to fips 202 spec
#2
tfaoliveira
closed
9 months ago
1
Constant-time
#1
vbgl
closed
9 months ago
0