INRIA Prosecco
A research group at INRIA Paris working on "programming securely with cryptography".
- 15 followers
- Paris, France
- https://prosecco.gforge.inria.fr/
Popular repositories Loading
-
proscript-messaging
proscript-messaging PublicSupporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic and Computational Approach.
-
libsignal-protocol-wasm-fstar
libsignal-protocol-wasm-fstar PublicFork of https://github.com/signalapp/libsignal-protocol-javascript : see https://signalstar.gforge.inria.fr/
-
-
-
acme-model
acme-model PublicA Formal Model for ACME: Analyzing Domain Validation over Insecure Channels
Repositories
Showing 10 of 13 repositories
- comparse-artifact Public
Inria-Prosecco/comparse-artifact’s past year of commit activity - hpke-analysis-suppl-material Public
Supplementary material accompanying the paper “Analysing the HPKE Standard”
Inria-Prosecco/hpke-analysis-suppl-material’s past year of commit activity - proscript-messaging Public
Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic and Computational Approach.
Inria-Prosecco/proscript-messaging’s past year of commit activity - libsignal-protocol-wasm-fstar Public
Fork of https://github.com/signalapp/libsignal-protocol-javascript : see https://signalstar.gforge.inria.fr/
Inria-Prosecco/libsignal-protocol-wasm-fstar’s past year of commit activity