Karolin Varner a5b8f3b79b add whitepaper ...

This was primarily written by @koraa & @blipp. @TeXhackse made sure that
the LaTeX flow worked seamless, while @Mullana provided illustrations
for all technical details. @ajuvo & @wucke13 provided reviews for the
text.

Co-authored-by: Benjamin Lipp <blipp@mailbox.org>
Co-authored-by: Marei (peiTeX) <marei@peitex.de>
Co-authored-by: Mullana <60528244+Mullana@users.noreply.github.com>
Co-authored-by: ajuvo <ajuvo@c-base.org>
Co-authored-by: wucke13 <wucke13@gmail.com>

2023-02-23 20:46:56 +01:00

analysis

add proverif analysis of Rosenpass, the protocol

2023-02-23 20:46:22 +01:00

benches

add Rosenpass, the tool

2023-02-23 20:45:56 +01:00

marzipan

add marzipan, a dialect of proverif

2023-02-23 20:46:17 +01:00

papers

add whitepaper

2023-02-23 20:46:56 +01:00

src

add Rosenpass, the tool

2023-02-23 20:45:56 +01:00

tests

add Rosenpass, the tool

2023-02-23 20:45:56 +01:00

.gitignore

add LaTeX setup

2023-02-23 20:46:39 +01:00

analyze.sh

add proverif analysis of Rosenpass, the protocol

2023-02-23 20:46:22 +01:00

Cargo.lock

add Rosenpass, the tool

2023-02-23 20:45:56 +01:00

Cargo.toml

add Rosenpass, the tool

2023-02-23 20:45:56 +01:00

LICENSE-APACHE

add Rosenpass, the tool

2023-02-23 20:45:56 +01:00

LICENSE-MIT

add Rosenpass, the tool

2023-02-23 20:45:56 +01:00

rp

add Rosenpass, the tool

2023-02-23 20:45:56 +01:00

Description

Rosenpass is a post-quantum-secure VPN that uses WireGuard to transport the actual data.

cryptographypost-quantumrustvpnwireguard

18 MiB

Languages

Rust 90%

Nix 5%

TeX 2.3%

Shell 1.4%

Python 0.6%

Other 0.7%