Login / Signup
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis.
Serdar Erbatur
Santiago Escobar
Deepak Kapur
Zhiqiang Liu
Christopher Lynch
Catherine Meadows
José Meseguer
Paliath Narendran
Ralf Sasse
Published in:
UNIF (2011)
Keyphrases
</>
higher order
theorem proving
neural network
similarity measure
compression algorithm