Formal security analysis of MPC-in-the-head zero-knowledge protocols.

Nikolaj Sidorenco Sabine Oechsner Bas Spitters

Published in: IACR Cryptol. ePrint Arch. (2021)

Keyphrases

security analysis
security properties
authentication protocol
key exchange
security requirements
public key
encryption algorithm
knowledge management
formal model
mutual authentication
information systems
data mining techniques
private key
image encryption
high security