Login / Signup

Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis.

Serdar ErbaturSantiago EscobarDeepak KapurZhiqiang LiuChristopher LynchCatherine A. MeadowsJosé MeseguerPaliath NarendranSonia SantiagoRalf Sasse
Published in: CADE (2013)
Keyphrases
  • higher order
  • cryptographic protocols
  • theorem prover
  • equational theories
  • image analysis
  • data model
  • software engineering
  • image quality
  • end to end