Publications - Protocol Verification (Security)

Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, Jose Meseguer, Paliath Narendran and Ralf Sasse.
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis
In proceedings of The International Workshop on Unification (UNIF 2011).

Santiago Escobar, Deepak Kapur, Christophe Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, and Ralf Sasse.
Protocol Analysis in Maude-NPA Using Unification Modulo Homomorphic Encryption
In proceedings of 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'2011).
© ACM Press
Available: DOI

Ralf Sasse, Santiago Escobar, Catherine Meadows, José Meseguer.
Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA.
In proceedings of 6th International Workshop on Security and Trust Management (STM'10),
Lecture Notes in Computer Science, Volume 6710, pages 163-178, 2011.
© Springer-Verlag
Available: DOI PDF

2010

S. Escobar, C. Meadows, J. Meseguer S. Santiago
Sequential Protocol Composition in Maude-NPA
In proceedings of European Symposium on Research in Computer Security (ESORICS 2010),
LNCS 6345, pages 303-318. 2010.
© Springer-Verlag
Available: DOI

2009

S. Santiago, C. Talcott, S. Escobar, Catherine Meadows, J. Meseguer
A Graphical User Interface for Maude-NPA.
In IX Jornadas sobre Programación y Lenguajes (PROLE 2009).
Electronic Notes in Theoretical Computer Science, volume 258, number 1, pages 3-20. Elsevier, 2009.
© Elsevier

Available: DOI

Santiago Escobar, Catherine Meadows, José Meseguer.
Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties.
FOSAD 2007/2008/2009 Tutorial Lectures, LNCS 5705, pages 1-50.
© Springer-Verlag

Available: PDF

2008

Santiago Escobar, Catherine Meadows, José Meseguer.
The Maude-NRL Protocol Analyzer (short paper)
In proceedings of 15th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR08), Doha, Qatar.

Santiago Escobar, Catherine Meadows, José Meseguer.
State Space Reduction in the Maude-NRL Protocol Analyzer
In proceedings of 13th European Symposium on Research in Computer Security (ESORICS08),
LNCS 5283, pages 548-562, 2008.
© Springer-Verlag
Available: DOI PDF

Santiago Escobar, Catherine Meadows, José Meseguer.
The Maude-NRL Protocol Analyzer (short paper)
In LICS-CSF short papers 21st IEEE Computer Security Foundations Symposium (CSF) and
23rd IEEE Symposium on Logic in Computer Science (LICS). , Pittsburgh, USA.

2007

Santiago Escobar, Joe Hendrix, Catherine Meadows, José Meseguer.
Diffie-Hellman Cryptographic Reasoning in the Maude-NRL Protocol Analyzer
In informal proceedings of 2nd International Workshop on Security and Rewriting Techniques (SecReT 2007), 2007.
Available: PDF

2006

Santiago Escobar, Catherine Meadows, José Meseguer.
A Rewriting-Based Inference System for the NRL Protocol Analyzer and its Meta-Logical Properties
Theoretical Computer Science, Volume 367, Issues 1-2, pages 162-202.
Extended and revised version of this paper.
© Elsevier
Available: DOI link Preliminary version

Santiago Escobar, Catherine Meadows, José Meseguer.
The Maude-NRL Protocol Analyzer: A Rewriting-Based Inference System for Equational Cryptographic Reasoning (extended abstract)
In proceedings of Midwest Security Workshop (MSW'2006), Urbana, IL, USA. 2006.

Santiago Escobar, Catherine Meadows, José Meseguer.
The Maude-NRL Protocol Analyzer: A Rewriting-Based Inference System for Equational Cryptographic Reasoning (extended abstract)
In proceedings of VI Jornadas sobre Programación y Lenguajes (PROLE'2006),
2006.

Santiago Escobar, Catherine Meadows, José Meseguer.
Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer
In proceedings of 1st International Workshop on Security and Rewriting Techniques (SecReT 2006),
Electronic Notes in Theoretical Computer Science, volume 171, pages 23-36, 2007.
© Elsevier
Available: DOI link PDF

2005

Santiago Escobar, Catherine Meadows, José Meseguer.
A Rewriting-Based Inference System for the NRL Protocol Analyzer: Grammar Generation
In proceedings of 3rd ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code (FMSE'05),
pages 1-12, 2005.
© ACM Press
Superseded by this journal publication.
Available: ACM link PDF