This website requires JavaScript.
Explore
Help
Sign In
gitea-mirror
/
rosenpass
Watch
1
Star
0
Fork
0
You've already forked rosenpass
mirror of
https://github.com/rosenpass/rosenpass.git
synced
2025-12-05 20:40:02 -08:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
dev/karo/api-transports
Add File
New File
Upload File
Apply Patch
rosenpass
/
analysis
History
Karolin Varner
4daca9ed56
chore(whitepaper): Biscuit and pidi cipher texts now called pidi_ct/biscuit_ct
2025-09-05 16:12:11 +02:00
..
crypto
feat: identity hiding in two stage process
2024-01-03 18:35:54 +01:00
prelude
add proverif analysis of Rosenpass, the protocol
2023-02-23 20:46:22 +01:00
rosenpass
chore(whitepaper): Biscuit and pidi cipher texts now called pidi_ct/biscuit_ct
2025-09-05 16:12:11 +02:00
01_secrecy.entry.mpv
chore: Rollback symbolic models to original state
2024-06-07 20:05:23 +02:00
02_availability.entry.mpv
chore: Rollback symbolic models to original state
2024-06-07 20:05:23 +02:00
config.mpv
chore: Rollback symbolic models to original state
2024-06-07 20:05:23 +02:00
