Login / Signup
A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols.
Stéphanie Delaune
Lucca Hirschi
Published in:
J. Log. Algebraic Methods Program. (2017)
Keyphrases
</>
database
real time
low cost
computer systems
high dimensional data