Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions.

Emanuele D'Osualdo Felix Stutz

Published in: CONCUR (2020)

Keyphrases

cryptographic protocols
security properties
standard model
security protocols
formal verification
authentication protocol
inductive logic programming
information systems
software engineering
low cost
lightweight
private information retrieval