Skip to content

@Inria-Prosecco INRIA Prosecco

Change the repository type filter

All

    Repositories list

    15 repositories

    • circus-green

      Public
      CI System for CIRCUS-related Rust verification projects
      Nix
      •0•0•0•0•Updated Feb 21, 2025Feb 21, 2025

    • StarMalloc

      Public
      A verified, modern, hardened memory allocator.
      F*
      •
      Apache License 2.0
      •0•18•0•4•Updated Feb 18, 2025Feb 18, 2025

    • mls-star

      Public
      OCaml
      •
      Apache License 2.0
      •1•4•0•0•Updated Jan 9, 2025Jan 9, 2025

    • noise-star

      Public
      Verified implementations for the Noise family of protocols
      C
      •
      Apache License 2.0
      •3•14•4•2•Updated Jun 18, 2024Jun 18, 2024

    • pqxdh-analysis

      Public
      Formal Analysis of the PQXDH Protocol
      Shell
      •3•25•0•0•Updated Jun 6, 2024Jun 6, 2024

    • reftls

      Public
      JavaScript
      •15•30•0•1•Updated Apr 4, 2024Apr 4, 2024

    • comparse-artifact

      Public
      F*
      •0•6•0•0•Updated Sep 10, 2023Sep 10, 2023

    • treesync

      Public
      OCaml
      •
      Apache License 2.0
      •0•5•0•0•Updated Apr 26, 2023Apr 26, 2023

    • hpke-analysis-suppl-material

      Public
      Supplementary material accompanying the paper “Analysing the HPKE Standard”
      Shell
      •
      Other
      •0•1•0•0•Updated Aug 6, 2022Aug 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.
      OCaml
      •8•36•3•0•Updated May 30, 2022May 30, 2022

    • libsignal-protocol-wasm-fstar

      Public
      Fork of https://github.com/signalapp/libsignal-protocol-javascript : see https://signalstar.gforge.inria.fr/
      JavaScript
      •
      GNU General Public License v3.0
      •2•31•2•0•Updated Dec 6, 2019Dec 6, 2019

    • pq-spec

      Public
      Reading materials and formal specifications for NIST Post-Quantum Cryptography Candidates
      C
      •0•0•0•0•Updated Apr 23, 2019Apr 23, 2019

    • acme-model

      Public
      A Formal Model for ACME: Analyzing Domain Validation over Insecure Channels
      1•9•1•0•Updated Dec 23, 2018Dec 23, 2018

    • hacl-wasm

      Public
      0•0•0•0•Updated Feb 5, 2018Feb 5, 2018

    • inria-prosecco.github.io

      Public
      HTML
      •0•0•0•0•Updated Jan 13, 2017Jan 13, 2017