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