Login / Signup
Verifiable Verification in Cryptographic Protocols.
Marc Fischlin
Felix Günther
Published in:
IACR Cryptol. ePrint Arch. (2023)
Keyphrases
</>
cryptographic protocols
standard model
security properties
authentication protocol
sufficient conditions
security protocols
private information retrieval
locally decodable codes
lightweight
similarity search
secret sharing