Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions.

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

Browse the full ESORICS paper archive.