issues
search
cryspen
/
hacl-packages
The Cryspen HACL Distribution
https://cryspen.com/hacl-packages
Other
15
stars
18
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
OCaml API: bump opam package version to 0.7.2
#477
victor-dumitrescu
closed
1 month ago
1
Using Evercrypt_AEAD in web browser (from wasm).
#476
AgustinBaffo
opened
1 month ago
0
Fix implicit declaration of 'explicit_memset' for NetBSD in Lib_Memzero0.c
#475
furkanonder
closed
1 month ago
4
Dev -> main
#474
franziskuskiefer
opened
4 months ago
0
Update .clabot
#473
franziskuskiefer
closed
5 months ago
0
main -> dev
#472
franziskuskiefer
closed
5 months ago
1
Add R1kM to cla
#471
R1kM
closed
5 months ago
3
Unpin breathe version, force more recent sphinx version
#470
R1kM
closed
5 months ago
1
Simplify build workflow
#469
s-zanella
closed
4 months ago
4
Python warnings in mach
#468
msprotz
opened
6 months ago
0
Allow building AVX2 on x86 (suggestion by @samuel-lee-msft)
#467
msprotz
opened
6 months ago
2
Fix MSVC+CPP issue with including eurydice_glue.h w/ C++17
#466
samuel-lee-msft
closed
5 months ago
5
Review P-384 and P-521 for NSS integration
#465
karthikbhargavan
closed
5 months ago
2
Simplify build workflow
#464
s-zanella
closed
6 months ago
9
Add all variants of kyber to hacl-packages, with compilation and all
#463
msprotz
closed
6 months ago
2
Merge GHASH into hacl-star upstream
#462
mamonet
opened
6 months ago
0
update hacl star
#461
franziskuskiefer
closed
5 months ago
3
Optimize HACL* Raw RSA Encryption to use non-constant-time operations.
#460
franziskuskiefer
opened
6 months ago
8
Update from upstream
#459
franziskuskiefer
closed
4 months ago
2
bench against libb2
#458
msprotz
opened
7 months ago
4
Update C code with Kyber stateful API
#457
msprotz
closed
6 months ago
3
Figure out procedures for upstreaming HACL* code quickly
#456
franziskuskiefer
opened
7 months ago
1
Merge AES-CTR32 into HACL*
#455
franziskuskiefer
opened
8 months ago
2
Update ML-KEM C
#454
franziskuskiefer
closed
6 months ago
2
ml kem c update
#453
franziskuskiefer
closed
7 months ago
1
Vectorized SHA3 in Hacl*
#452
franziskuskiefer
closed
7 months ago
3
Verify high-level AES-CTR32 functions for NI and BitSlice
#451
mamonet
closed
8 months ago
1
Verify AES Generic module
#450
mamonet
closed
8 months ago
2
Verify AES CoreBitSlice module
#449
mamonet
opened
9 months ago
0
Verify AES CoreNI module
#448
mamonet
closed
9 months ago
1
[Meta] Verified AES for HACL*
#447
karthikbhargavan
opened
10 months ago
1
Use crate `cmake` for compiling `hacl_c`.
#445
ghost
closed
1 month ago
5
Rust bindings compilation failure
#444
jtcoolen
opened
10 months ago
0
Change order of SHA3 Scalar/Simd256 parameters
#443
mamonet
closed
10 months ago
5
Add libcrux kyber
#442
franziskuskiefer
closed
10 months ago
10
CI: ensure Python >=3 is installed when building the documentation
#441
pnmadelaine
closed
11 months ago
1
Removed duplicate Hacl_SHA3_* files.
#440
xvzcf
closed
11 months ago
1
Rename SHA3 Scalar and Simd256 functions
#439
mamonet
closed
11 months ago
2
Added a dummy Kyber implementation and test scaffolding
#438
xvzcf
closed
11 months ago
6
C Testing harness for Kyber
#437
karthikbhargavan
closed
11 months ago
1
C Plumbing for Kyber
#436
karthikbhargavan
opened
11 months ago
1
CI: fix documentation
#435
pnmadelaine
closed
11 months ago
2
update cmake example after hacl update
#434
franziskuskiefer
closed
11 months ago
1
Integrate Vectorized SHA3
#433
mamonet
closed
11 months ago
3
Improve SHA Streaming Tests
#432
franziskuskiefer
opened
12 months ago
0
[feat]: enable support for P384 and P521 curves
#431
armfazh
opened
1 year ago
1
update to hacl 309736b87a124ad1bdc2dc34e7768568039639e5
#430
franziskuskiefer
closed
11 months ago
1
update HACL to 1b30697fc2b0d8d5e2f541eccfd3fb52b45b905c
#429
franziskuskiefer
closed
1 year ago
1
[ocaml] Cannot restore extended attributes: com.apple.provenance com.apple.provenance
#428
mgstoyanov
closed
1 year ago
6
Refresh list of algorithms
#427
protz
closed
1 year ago
4
Next