On the Cryptographic Deniability of the Signal Protocol.
Nihal VatandasRosario GennaroBertrand IthurburnHugo KrawczykPublished in: IACR Cryptol. ePrint Arch. (2021)
Keyphrases
- security protocols
- cryptographic protocols
- security properties
- smart card
- signal processing
- packet filtering
- authentication protocol
- homomorphic encryption
- cryptographic algorithms
- high frequency
- standard model
- signal detection
- secure communication
- impulse response
- compressive sensing
- image processing
- formal analysis
- end to end
- tcp ip
- key distribution
- network security
- original signal
- key management
- non stationary
- coloured petri nets