James Brownlee df8990f4f8 fixed issues with identity hiding proverif code

2023-12-14 21:02:39 -05:00

..

common.macro

add proverif analysis of Rosenpass, the protocol

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

handshake_state.mpv

add proverif analysis of Rosenpass, the protocol

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

initiator.macro

add proverif analysis of Rosenpass, the protocol

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

oracles.mpv

fixed issues with identity hiding proverif code

2023-12-14 21:02:39 -05:00

prf.mpv

add proverif analysis of Rosenpass, the protocol

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

protocol.mpv

Changed identity hiding test to work as a two stage process where participants with fresh secure secret keys communicate with each other and other compromised participants. Then the attacker is asked to identify the difference between two of the secure participants as on of them acts as a responder.

2023-11-25 20:49:32 -05: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