gitea-mirror/rosenpass
1
0
Fork 0
mirror of https://github.com/rosenpass/rosenpass.git synced 2026-02-28 06:23:08 -08:00
Code Issues Packages Projects Releases Wiki Activity
453 Commits 62 Branches 19 Tags
c0c57e5ffcba13e4d005f8a0e965789fb309993f
Commit Graph

453 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