Asymmetric unification: A new unification paradigm for cryptographic protocol analysis

Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher A. Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Asymmetric unification: A new unification paradigm for cryptographic protocol analysis'. Together they form a unique fingerprint.

Computer Science

Keyphrases