Skip to content
@Inria-Prosecco

INRIA Prosecco

A research group at INRIA Paris working on "programming securely with cryptography".

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 36 8

  2. 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 31 2

  3. reftls reftls Public

    JavaScript 29 16

  4. pqxdh-analysis pqxdh-analysis Public

    Formal Analysis of the PQXDH Protocol

    Shell 24 2

  5. noise-star noise-star Public

    Verified implementations for the Noise family of protocols

    C 14 3

  6. StarMalloc StarMalloc Public

    A verified, modern, hardened memory allocator.

    F* 14

Repositories

Showing 10 of 15 repositories
  • circus-green Public

    CI System for CIRCUS-related Rust verification projects

    Inria-Prosecco/circus-green’s past year of commit activity
    Nix 0 0 0 0 Updated Dec 23, 2024
  • mls-star Public
    Inria-Prosecco/mls-star’s past year of commit activity
    OCaml 4 Apache-2.0 0 0 0 Updated Nov 29, 2024
  • StarMalloc Public

    A verified, modern, hardened memory allocator.

    Inria-Prosecco/StarMalloc’s past year of commit activity
    F* 14 Apache-2.0 0 0 4 Updated Oct 24, 2024
  • noise-star Public

    Verified implementations for the Noise family of protocols

    Inria-Prosecco/noise-star’s past year of commit activity
    C 14 Apache-2.0 3 4 2 Updated Jun 18, 2024
  • pqxdh-analysis Public

    Formal Analysis of the PQXDH Protocol

    Inria-Prosecco/pqxdh-analysis’s past year of commit activity
    Shell 24 2 0 0 Updated Jun 6, 2024
  • reftls Public
    Inria-Prosecco/reftls’s past year of commit activity
    JavaScript 29 16 0 1 Updated Apr 4, 2024
  • comparse-artifact Public
    Inria-Prosecco/comparse-artifact’s past year of commit activity
    F* 6 0 0 0 Updated Sep 10, 2023
  • treesync Public
    Inria-Prosecco/treesync’s past year of commit activity
    OCaml 5 Apache-2.0 0 0 0 Updated Apr 26, 2023
  • hpke-analysis-suppl-material Public

    Supplementary material accompanying the paper “Analysing the HPKE Standard”

    Inria-Prosecco/hpke-analysis-suppl-material’s past year of commit activity
    Shell 1 0 0 0 Updated Aug 6, 2022
  • proscript-messaging Public

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

    Inria-Prosecco/proscript-messaging’s past year of commit activity
    OCaml 36 8 3 0 Updated May 30, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…