1 Commits

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