Inria-Prosecco/treesync

This is stars and forks stats for /Inria-Prosecco/treesync repository. As of 26 Apr, 2024 this repository has 3 stars and 0 forks.

Artifact for "TreeSync: Authenticated Group Management for Messaging Layer Security" Link to the paper Cryptology ePrint Archive Structure of the repository comparse: external support library for parsers and serializers, imported, not part of this work dolev-yao-star: external support library for Dolev-Yao reasoning in F*, imported, not part of this work mls-star: this work Functions, types, and theorems from the paper Section 3.1: TreeSync data structures common tree type parent node type leaf node...