Benjamin Lipp e14fc12f88 fix: add missing defines for 04_dos model ...

The newly (re-)added lines come from this pull request: https://github.com/rosenpass/rosenpass/pull/230

2025-12-01 15:11:10 +01: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: Rollback symbolic models to original state

2024-06-07 20:05:23 +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

03_identity_hiding_initiator.entry.mpv

adding identity hiding improvements:

2024-02-26 17:20:33 +01:00

03_identity_hiding_responder.entry.mpv

adding identity hiding improvements:

2024-02-26 17:20:33 +01:00

03_identity_hiding_test.entry.mpv

adding identity hiding improvements:

2024-02-26 17:20:33 +01:00

04_dos_protection.entry.mpv

adding dos protection code

2024-02-26 17:20:33 +01:00

config.mpv

fix: add missing defines for 04_dos model

2025-12-01 15:11:10 +01:00