The Sumcheck Protocol.

Azucena Garvía Bosshard Christoph Sprenger Jonathan Bootle

Published in: Arch. Formal Proofs (2024)

Keyphrases

lightweight
formal analysis
network protocols
cryptographic protocols
communication protocol
database
neural network
protocol specification
security protocols
coloured petri nets
voting protocols
network simulator
tcp ip
key distribution
security model
security analysis
data sets
real time