INRIA Prosecco
A research group at INRIA Paris working on "programming securely with cryptography".
- 20 followers
- Paris, France
- http://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.
-
StarMalloc
StarMalloc PublicA verified, modern, hardened memory allocator. [maintainer=@cmovcc]
-
libsignal-protocol-wasm-fstar
libsignal-protocol-wasm-fstar PublicFork of https://github.com/signalapp/libsignal-protocol-javascript : see https://signalstar.gforge.inria.fr/
-
-
Repositories
Showing 10 of 16 repositories
- reftls Public
Inria-Prosecco/reftls’s past year of commit activity - mls-star Public
Inria-Prosecco/mls-star’s past year of commit activity - treekem-artifact Public
Inria-Prosecco/treekem-artifact’s past year of commit activity - comparse-artifact Public
Inria-Prosecco/comparse-artifact’s past year of commit activity - treesync Public
Inria-Prosecco/treesync’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
Top languages
Loading…
Most used topics
Loading…