James Brownlee b2a64ed17a feat: add INITIATOR_TEST and RESPONDER_TEST macros ...

Added INITIATOR_TEST and RESPONDER_TEST macros to the identity hiding
mpv file that can be used to selectively test the anonymity of the
initiator or the responder.

2024-01-03 18:35:54 +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

feat: identity hiding in two stage process

2024-01-03 18:35:54 +01:00

01_secrecy.entry.mpv

add proverif analysis of Rosenpass, the protocol

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

02_availability.entry.mpv

add proverif analysis of Rosenpass, the protocol

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

03_identity_hiding.entry.mpv

feat: add INITIATOR_TEST and RESPONDER_TEST macros

2024-01-03 18:35:54 +01:00

config.mpv

add proverif analysis of Rosenpass, the protocol

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