Pinned Loading

1. EasyCrypt/easycrypt EasyCrypt/easycrypt Public

   EasyCrypt: Computer-Aided Cryptographic Proofs

   OCaml 381 59

2. eo-psi eo-psi Public

   Private Set Intersection Protocol, Blind data, Outsource both data and secure computation

   C++ 9 1

3. speke-verification speke-verification Public

   Verification of the design of the SPEKE protocols in many variants including the original and the latest ISO standard

4. kth-step/HolBA-with-benchmarks kth-step/HolBA-with-benchmarks Public

   Binary analysis in HOL (with additional benchmark files)

   Standard ML

5. STIX-Modeler/UI STIX-Modeler/UI Public

   STIX 2.1 Data Modeling Tool

   JavaScript 27 13