Popular repositories Loading

1. StarMalloc StarMalloc Public

   A verified, modern, hardened memory allocator. [maintainer=@cmovcc]

   F* 50 1

2. proscript-messaging proscript-messaging Public

   Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic and Computational Approach.

   OCaml 37 7

3. reftls reftls Public

   JavaScript 36 19

4. libsignal-protocol-wasm-fstar libsignal-protocol-wasm-fstar Public

   Fork of https://github.com/signalapp/libsignal-protocol-javascript : see https://signalstar.gforge.inria.fr/

   JavaScript 34 3

5. pqxdh-analysis pqxdh-analysis Public

   Formal Analysis of the PQXDH Protocol

   Shell 33 3

6. noise-star noise-star Public

   Verified implementations for the Noise family of protocols

   C 17 4