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

Nikolaj Sidorenco Sabine Oechsner Bas Spitters

Published in: CSF (2021)

Keyphrases

security analysis
authentication protocol
security properties
key exchange
public key
smart card
formal model
mutual authentication
real time
knowledge management
data mining techniques
security requirements
encryption scheme
security model
high security
secure electronic