Six-Card Finite-Runtime XOR Protocol with Only Random Cut.

Kodai Toyoda Daiki Miyahara Takaaki Mizuki Hideaki Sone

Published in: APKC@AsiaCCS (2020)

Keyphrases

smart card
authentication protocol
lightweight
formal analysis
low cost
coloured petri nets
tcp ip
database
communication protocol
uniformly distributed
unit length
cryptographic protocols
application layer
multi party
end to end
np complete
evolutionary algorithm