Login / Signup
Schnorr protocol in Jasmin.
Denis Firsov
Tiago Oliveira
Dominique Unruh
Published in:
IACR Cryptol. ePrint Arch. (2023)
Keyphrases
</>
formal analysis
lightweight
cryptographic protocols
communication protocol
tcp ip
network simulator
security analysis
data sets
neural network
information retrieval
security protocols
authentication protocol
multiple access
network protocols
protocol specification