Popular repositories Loading

1. 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 8

2. StarMalloc StarMalloc Public

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

   F* 35 1

3. reftls reftls Public

   JavaScript 33 16

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 33 3

5. pqxdh-analysis pqxdh-analysis Public

   Formal Analysis of the PQXDH Protocol

   Shell 26 3

6. noise-star noise-star Public

   Verified implementations for the Noise family of protocols

   C 17 3