Search results

Using Evercrypt_AEAD in web browser (from wasm).

Status: Open.

#476 In cryspen/hacl-packages;

· AgustinBaffo opened on Sep 26, 2024

Python warnings in mach

Status: Open.

#468 In cryspen/hacl-packages;

· msprotz opened on May 19, 2024

Merge GHASH into hacl-star upstream

blocked 🚫

Status: Open.

#462 In cryspen/hacl-packages;

· mamonet opened on Apr 29, 2024

Optimize HACL* Raw RSA Encryption to use non-constant-time operations.

Status: Open.

#460 In cryspen/hacl-packages;

· franziskuskiefer opened on Apr 24, 2024

Figure out procedures for upstreaming HACL* code quickly

Status: Open.

#456 In cryspen/hacl-packages;

· franziskuskiefer opened on Apr 2, 2024

Merge AES-CTR32 into HACL*

blocked 🚫

Status: Open.

#455 In cryspen/hacl-packages;

· franziskuskiefer opened on Mar 18, 2024

Verify AES CoreBitSlice module

Status: Open.

#449 In cryspen/hacl-packages;

· mamonet opened on Jan 30, 2024

C Plumbing for Kyber

Status: Open.

#436 In cryspen/hacl-packages;

· karthikbhargavan opened on Dec 4, 2023

Improve SHA Streaming Tests

tests

Status: Open.

#432 In cryspen/hacl-packages;

· franziskuskiefer opened on Nov 21, 2023

[feat]: enable support for P384 and P521 curves

enhancementNew feature or requestNew feature or request

Status: Open.

#431 In cryspen/hacl-packages;

· armfazh opened on Nov 9, 2023

[ocaml] Don't rebuild documentation for each tag every time.

ci 🤖

documentation 🗒Improvements or additions to documentationImprovements or additions to documentation

OCaml

Status: Open.

#423 In cryspen/hacl-packages;

· franziskuskiefer opened on Aug 7, 2023

[OCaml] build on freebsd x64 fails with "recompile with -fPIC"

build 🔨

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#422 In cryspen/hacl-packages;

· fogti opened on Jul 28, 2023