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
756 Commits 62 Branches 19 Tags
a789f801abcba18087468198b77fea8b3f315a32
Commit Graph

756 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Benjamin Lipp
a9f62f3f70 add references for the whitepaper 2023-02-23 20:46:43 +01:00
Marei (peiTeX)
c62a840d75 add LaTeX setup 2023-02-23 20:46:39 +01:00
Mullana
3e3d92d4a8 add figures and graphics 2023-02-23 20:46:35 +01:00
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