Skip to content

@formosa-crypto formosa-crypto

Change the repository type filter

All

    Repositories list

    13 repositories

    • formosa-keccak

      Public
      Implementation of Keccak and related functions (SHA3, SHAKE, etc.)
      1•1•0•0•Updated Dec 30, 2024Dec 30, 2024

    • crypto-specs

      Public
      EasyCrypt specifications of crypto primitives
      eC
      •
      Creative Commons Zero v1.0 Universal
      •0•3•0•0•Updated Dec 30, 2024Dec 30, 2024

    • formosa-x-wing

      Public
      eC
      •0•3•1•0•Updated Dec 22, 2024Dec 22, 2024

    • formosa-mlkem

      Public
      eC
      •
      Other
      •8•11•3•1•Updated Dec 22, 2024Dec 22, 2024

    • formosa-mldsa

      Public
      Jasmin implementations of ML-DSA
      Python
      •
      Apache License 2.0
      •1•1•0•0•Updated Dec 20, 2024Dec 20, 2024

    • formosa-25519

      Public
      Jasmin implementations of x25519
      eC
      •
      Apache License 2.0
      •1•0•6•1•Updated Nov 13, 2024Nov 13, 2024

    • libjade

      Public
      Crypto library
      cryptohigh-speedjasminpostquantumcryptographyeasycrypthigh-assurancecryptography
      C
      •
      Other
      •19•53•7•5•Updated Oct 9, 2024Oct 9, 2024

    • 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