INRIA Prosecco
A research group at INRIA Paris working on "programming securely with cryptography".
Paris, France
Pinned Repositories
acme-model
A Formal Model for ACME: Analyzing Domain Validation over Insecure Channels
comparse-artifact
libsignal-protocol-wasm-fstar
Fork of https://github.com/signalapp/libsignal-protocol-javascript : see https://signalstar.gforge.inria.fr/
mls-star
noise-star
Verified implementations for the Noise family of protocols
pqxdh-analysis
Formal Analysis of the PQXDH Protocol
proscript-messaging
Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic and Computational Approach.
reftls
StarMalloc
A verified, modern, hardened memory allocator.
treesync
INRIA Prosecco's Repositories
Inria-Prosecco/proscript-messaging
Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic and Computational Approach.
Inria-Prosecco/libsignal-protocol-wasm-fstar
Fork of https://github.com/signalapp/libsignal-protocol-javascript : see https://signalstar.gforge.inria.fr/
Inria-Prosecco/reftls
Inria-Prosecco/pqxdh-analysis
Formal Analysis of the PQXDH Protocol
Inria-Prosecco/noise-star
Verified implementations for the Noise family of protocols
Inria-Prosecco/StarMalloc
A verified, modern, hardened memory allocator.
Inria-Prosecco/acme-model
A Formal Model for ACME: Analyzing Domain Validation over Insecure Channels
Inria-Prosecco/comparse-artifact
Inria-Prosecco/treesync
Inria-Prosecco/mls-star
Inria-Prosecco/hpke-analysis-suppl-material
Supplementary material accompanying the paper “Analysing the HPKE Standard”
Inria-Prosecco/hacl-wasm
Inria-Prosecco/inria-prosecco.github.io
Inria-Prosecco/pq-spec
Reading materials and formal specifications for NIST Post-Quantum Cryptography Candidates
Inria-Prosecco/circus-green
CI System for CIRCUS-related Rust verification projects