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. Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. In Maria Paola Bonacina, editor, Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings. Volume 7898 of Lecture Notes in Computer Science, pages 231-248, Springer, 2013. [doi]

Authors

Serdar Erbatur

This author has not been identified. Look up 'Serdar Erbatur' in Google

Santiago Escobar

This author has not been identified. It may be one of the following persons: Look up 'Santiago Escobar' in Google

Deepak Kapur

This author has not been identified. Look up 'Deepak Kapur' in Google

Zhiqiang Liu

This author has not been identified. Look up 'Zhiqiang Liu' in Google

Christopher Lynch

This author has not been identified. Look up 'Christopher Lynch' in Google

Catherine Meadows

This author has not been identified. Look up 'Catherine Meadows' in Google

José Meseguer

This author has not been identified. It may be one of the following persons: Look up 'José Meseguer' in Google

Paliath Narendran

This author has not been identified. Look up 'Paliath Narendran' in Google

Sonia Santiago

This author has not been identified. Look up 'Sonia Santiago' in Google

Ralf Sasse

This author has not been identified. Look up 'Ralf Sasse' in Google