Inria-Prosecco/pqxdh-analysis Inria-Prosecco/pqxdh-analysis

  • Stars
    star
    22
  • Rank 1,048,934 (Top 21 %)
  • Language
    Shell
  • Created about 1 year ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Inria-Prosecco/pqxdh-analysis
github

Inria-Prosecco

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Formal Analysis of the PQXDH Protocol

More Repositories

1

proscript-messaging

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

libsignal-protocol-wasm-fstar

Fork of https://github.com/signalapp/libsignal-protocol-javascript : see https://signalstar.gforge.inria.fr/
JavaScript
31
star
3

reftls

JavaScript
29
star
4

noise-star

Verified implementations for the Noise family of protocols
C
14
star
5

acme-model

A Formal Model for ACME: Analyzing Domain Validation over Insecure Channels
9
star
6

comparse-artifact

F*
5
star
7

treesync

OCaml
5
star
8

mls-star

OCaml
3
star
9

hpke-analysis-suppl-material

Supplementary material accompanying the paper “Analysing the HPKE Standard”
Shell
1
star