Inria-Prosecco/proscript-messaging Inria-Prosecco/proscript-messaging

  • Stars
    star
    36
  • Rank 735,472 (Top 15 %)
  • Language
    OCaml
  • Created over 7 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Inria-Prosecco/proscript-messaging
github

Inria-Prosecco

Reviews

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

Repository Details

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

More Repositories

1

libsignal-protocol-wasm-fstar

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

reftls

JavaScript
29
star
3

pqxdh-analysis

Formal Analysis of the PQXDH Protocol
Shell
22
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