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, Sonia Santiago, Ralf Sasse

Browse the full CADE paper archive.