Repositories list

• formosa-xmss

  Public
  Jasmin implementations of XMSS

  eC

  •

  Apache License 2.0

  •0•1•0•0•Updated Feb 24, 2025Feb 24, 2025

• jasmin-tutorial

  Public
  eC

  •0•2•0•0•Updated Feb 21, 2025Feb 21, 2025

• formosa-mldsa

  Public
  Jasmin implementations of ML-DSA

  Python

  •

  Apache License 2.0

  •2•1•0•0•Updated Feb 21, 2025Feb 21, 2025

• crypto-specs

  Public
  EasyCrypt specifications of crypto primitives

  eC

  •

  Creative Commons Zero v1.0 Universal

  •0•3•0•0•Updated Feb 20, 2025Feb 20, 2025

• formosa-mlkem

  Public
  eC

  •

  Other

  •9•12•3•2•Updated Feb 18, 2025Feb 18, 2025

• formosa-keccak

  Public
  Implementation of Keccak and related functions (SHA3, SHAKE, etc.)

  1•1•0•0•Updated Feb 18, 2025Feb 18, 2025

• formosa-slh-dsa

  Public
  C

  •0•1•0•0•Updated Feb 14, 2025Feb 14, 2025

• libjade

  Public
  Crypto library

  cryptohigh-speedjasmin+ 4postquantumcryptographyeasycrypthigh-assurancecryptography

  C

  •

  Other

  •19•55•7•5•Updated Feb 5, 2025Feb 5, 2025

• formosa-x-wing

  Public
  eC

  •0•3•1•0•Updated Feb 4, 2025Feb 4, 2025

• formosa-25519

  Public
  Jasmin implementations of x25519

  eC

  •

  Apache License 2.0

  •1•0•6•2•Updated Feb 4, 2025Feb 4, 2025

• libjbn

  Public
  BigNums library for Jasmin

  eC

  •1•7•0•1•Updated Jul 16, 2024Jul 16, 2024

• retreat-notes

  Public
  Collection of notes from discussions (mostly) during retreats

  0•0•0•0•Updated Jul 14, 2024Jul 14, 2024

• crypto-proofs

  Public
  eC

  •0•0•1•2•Updated Dec 9, 2023Dec 9, 2023

• formosa-demos

  Public
  Proofs of concepts and general demonstrations of Formosa tools.

  eC

  •

  Creative Commons Zero v1.0 Universal

  •0•0•0•0•Updated Oct 6, 2023Oct 6, 2023

• dilithium

  Public
  eC

  •0•3•0•0•Updated Jun 21, 2023Jun 21, 2023

• libjade-testing

  Public
  Extended unit tests and regression tests for libjade

  eC

  •0•0•0•0•Updated Nov 15, 2022Nov 15, 2022