rosenpass

mirror of https://github.com/rosenpass/rosenpass.git synced 2026-02-27 22:13:12 -08:00

Files

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

common.macro

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

handshake_state.mpv

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

initiator.macro

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

oracles.mpv

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

prf.mpv

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

protocol.mpv

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

responder.macro

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

server.mpv

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

undef.macro

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