Karolin Varner 4daca9ed56 chore(whitepaper): Biscuit and pidi cipher texts now called pidi_ct/biscuit_ct

2025-09-05 16:12:11 +02:00

..

03_identity_hiding.mpv

chore(whitepaper): Biscuit and pidi cipher texts now called pidi_ct/biscuit_ct

2025-09-05 16:12:11 +02:00

common.macro

add proverif analysis of Rosenpass, the protocol

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

cookie.mpv

chore(whitepaper): Biscuit and pidi cipher texts now called pidi_ct/biscuit_ct

2025-09-05 16:12:11 +02:00

handshake_state.mpv

fix(proverif): Incorrect parameter ordering in encaps_/decaps_and_mix

2025-09-05 16:12:11 +02:00

initiator.macro

add proverif analysis of Rosenpass, the protocol

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

oracles.mpv

chore(whitepaper): Biscuit and pidi cipher texts now called pidi_ct/biscuit_ct

2025-09-05 16:12:11 +02:00

prf.mpv

add proverif analysis of Rosenpass, the protocol

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

protocol.mpv

chore(whitepaper): Biscuit and pidi cipher texts now called pidi_ct/biscuit_ct

2025-09-05 16:12:11 +02:00

responder.macro

add proverif analysis of Rosenpass, the protocol

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

server.mpv

add proverif analysis of Rosenpass, the protocol

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

undef.macro

add proverif analysis of Rosenpass, the protocol

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