Transferable, Auditable and Anonymous Ticketing Protocol.

Pascal Lafourcade Dhekra Mahmoud Gaël Marcadet Charles Olivier-Anclin

Published in: AsiaCCS (2024)

Keyphrases

lightweight
anonymous communication
digital signature scheme
payment scheme
formal analysis
coloured petri nets
authentication protocol
application layer
cryptographic protocols
communication protocols
database
genetic algorithm
end to end
security analysis
voting protocols