Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions.
Serdar ErbaturSantiago EscobarDeepak KapurZhiqiang LiuChristopher LynchCatherine A. MeadowsJosé MeseguerPaliath NarendranSonia SantiagoRalf SassePublished in: ESORICS (2012)