A Protocol for Cast-as-Intended Verifiability with a Second Device.

Johannes Müller Tomasz Truderung

Published in: CoRR (2023)

Keyphrases

security properties
lightweight
cryptographic protocols
remote server
communication protocol
formal analysis
security protocols
application layer
coloured petri nets
tcp ip
data sets
security analysis
network protocols