A Graphical User Interface for Maude-NPA. - Sonia Santiago; Carolyn L. Talcott; Santiago Escobar 001; Catherine Meadows 001; José Meseguer 001 (PROLE, 2009)

Sequential Protocol Composition in Maude-NPA. - Santiago Escobar 001; Catherine Meadows 001; José Meseguer 001; Sonia Santiago (ESORICS, 2010)

Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. - Serdar Erbatur; Santiago Escobar 001; Deepak Kapur; Zhiqiang Liu; Christopher Lynch; Catherine Meadows 001; José Meseguer 001; Paliath Narendran; Sonia Santiago; Ralf Sasse (ESORICS, 2012)

Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. - Serdar Erbatur; Santiago Escobar 001; Deepak Kapur; Zhiqiang Liu; Christopher Lynch; Catherine Meadows 001; José Meseguer 001; Paliath Narendran; Sonia Santiago; Ralf Sasse (CADE, 2013)

A rewriting-based forwards semantics for Maude-NPA. - Santiago Escobar 001; Catherine Meadows 001; José Meseguer 001; Sonia Santiago (HotSoS, 2014)

Analysis of the IBM CCA Security API Protocols in Maude-NPA. - Antonio González-Burgueño; Sonia Santiago; Santiago Escobar 001; Catherine Meadows 001; José Meseguer 001 (SSR, 2014)

A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA. - Sonia Santiago; Santiago Escobar 001; Catherine Meadows 001; José Meseguer 001 (STM, 2014)

State space reduction in the Maude-NRL Protocol Analyzer. - Santiago Escobar 001; Catherine Meadows 001; José Meseguer 001; Sonia Santiago (Inf. Comput., 2014)

Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories. - Santiago Escobar 001; Catherine Meadows 001; José Meseguer 001; Sonia Santiago (Programming Languages with Applications to Biology and Security, 2015)

Analysis of the PKCS#11 API Using the Maude-NPA Tool. - Antonio González-Burgueño; Sonia Santiago; Santiago Escobar 001; Catherine Meadows 001; José Meseguer 001 (SSR, 2015)

Strand spaces with choice via a process algebra semantics. - Fan Yang 090; Santiago Escobar 001; Catherine Meadows 001; José Meseguer 001; Sonia Santiago (PPDP, 2016)

Effective Sequential Protocol Composition in Maude-NPA. - Sonia Santiago; Santiago Escobar 001; Catherine Meadows 001; José Meseguer 001 (CoRR, 2016)