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 30 15

  4. pqxdh-analysis pqxdh-analysis Public

    Formal Analysis of the PQXDH Protocol

    Shell 25 3

  5. StarMalloc StarMalloc Public

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

    F* 18 1

  6. noise-star noise-star Public

    Verified implementations for the Noise family of protocols

    C 15 3

Repositories

Showing 10 of 16 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 Mar 13, 2025
  • StarMalloc Public

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

    Inria-Prosecco/StarMalloc’s past year of commit activity
    F* 18 Apache-2.0 1 0 3 Updated Mar 12, 2025
  • treekem-artifact Public
    Inria-Prosecco/treekem-artifact’s past year of commit activity
    OCaml 0 0 0 0 Updated Mar 4, 2025
  • mls-star Public
    Inria-Prosecco/mls-star’s past year of commit activity
    OCaml 4 Apache-2.0 1 0 0 Updated Mar 3, 2025
  • noise-star Public

    Verified implementations for the Noise family of protocols

    Inria-Prosecco/noise-star’s past year of commit activity
    C 15 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 25 3 0 0 Updated Jun 6, 2024
  • reftls Public
    Inria-Prosecco/reftls’s past year of commit activity
    JavaScript 30 15 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
View all repositories

Top languages

Loading…

Most used topics

Loading…