Hide a Liar: Card-Based ZKP Protocol for Usowan.

Léo Robert Daiki Miyahara Pascal Lafourcade Takaaki Mizuki

Published in: TAMC (2022)

Keyphrases

lightweight
low cost
smart card
cryptographic protocols
coloured petri nets
formal analysis
network protocols
artificial intelligence
wireless networks
data sets
security analysis
authentication protocol
communication protocol
tcp ip
access control
communication protocols
genetic algorithm