Repositories list

• mls-star

  Public
  OCaml

  •

  Apache License 2.0

  •0•3•0•0•Updated Oct 28, 2024Oct 28, 2024

• StarMalloc

  Public
  A verified, modern, hardened memory allocator.

  F*

  •

  Apache License 2.0

  •0•13•0•4•Updated Oct 24, 2024Oct 24, 2024

• 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

  •1•22•0•0•Updated Jun 6, 2024Jun 6, 2024

• reftls

  Public
  JavaScript

  •16•29•0•1•Updated Apr 4, 2024Apr 4, 2024

• comparse-artifact

  Public
  F*

  •0•5•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