Popular repositories Loading

1. securesubstrates.github.io securesubstrates.github.io Public

   Cryptographically Secured Computations

   SCSS

2. lattice_ladoos lattice_ladoos Public

   Complexity Reductions among different Lattice problems

   Jupyter Notebook 1

3. tiny-http tiny-http Public

   Forked from tiny-http/tiny-http

   Low level HTTP server library in Rust

   Rust

4. rouille rouille Public

   Forked from tomaka/rouille

   Web framework in Rust

   Rust

5. hacspec hacspec Public

   Forked from hacspec/hacspec

   A specification language for cryptography primitives.

   Coq

6. ACVP ACVP Public

   Forked from usnistgov/ACVP

   Industry Working Group on Automated Cryptographic Algorithm Validation

   HTML