gitea-mirror/rosenpass
1
0
Fork 0
mirror of https://github.com/rosenpass/rosenpass.git synced 2026-03-01 06:53:10 -08:00
Code Issues Packages Projects Releases Wiki Activity
203 Commits 62 Branches 19 Tags
0b4b1279cf7f322a41387878dd7ceee1ed094e29
Commit Graph

203 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Karolin Varner
137cd5e85a add proverif analysis of Rosenpass, the protocol 
The analysis was conducted as joint effort between @koraa and @blipp.

Co-authored-by: Benjamin Lipp <blipp@mailbox.org>
 2023-02-23 20:46:22 +01:00
Karolin Varner
2a917de6d8 add marzipan, a dialect of proverif 2023-02-23 20:46:17 +01:00
Karolin Varner
4e72c52ca0 add Rosenpass, the tool 
Initial implementation of the Rosenpass tool, implemented by @koraa.
Includes contributions and some lints from @wucke13.

Co-authored-by: wucke13 <wucke13@gmail.com>
 2023-02-23 20:45:56 +01:00