gitea-mirror/rosenpass
1
0
Fork 0
mirror of https://github.com/rosenpass/rosenpass.git synced 2026-02-27 14:03:11 -08:00
Code Issues Packages Projects Releases Wiki Activity
403 Commits 62 Branches 19 Tags
bc6bff499d4a8e7e118ad03ab781e436937bc4dd
Commit Graph

403 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