| State space reduction in the Maude-NRL protocol analyzer S Escobar, C Meadows, J Meseguer, S Santiago Information and Computation 238, 157-186, 2014 | 69 | 2014 |
| A formal definition of protocol indistinguishability and its verification using Maude-NPA S Santiago, S Escobar, C Meadows, J Meseguer International Workshop on Security and Trust Management, 162-177, 2014 | 64 | 2014 |
| Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. S Erbatur, S Escobar, D Kapur, Z Liu, C Lynch, CA Meadows, J Meseguer, ... ESORICS 7459, 73-90, 2012 | 30 | 2012 |
| Asymmetric unification: A new unification paradigm for cryptographic protocol analysis S Erbatur, S Escobar, D Kapur, Z Liu, CA Lynch, C Meadows, J Meseguer, ... International Conference on Automated Deduction, 231-248, 2013 | 28 | 2013 |
| Strand Spaces with Choice via a Process Algebra Semantics F Yang, S Escobar, C Meadows, J Meseguer, S Santiago | 17 | 2016 |
| Sequential Protocol Composition in Maude-NPA. S Escobar, CA Meadows, J Meseguer, S Santiago ESORICS 6345, 303-318, 2010 | 16 | 2010 |
| A graphical user interface for Maude-NPA S Santiago, C Talcott, S Escobar, C Meadows, J Meseguer Electronic Notes in Theoretical Computer Science 258 (1), 3-20, 2009 | 16 | 2009 |
| Analysis of the IBM CCA security API protocols in Maude-NPA A González-Burgueno, S Santiago, S Escobar, C Meadows, J Meseguer International Conference on Research in Security Standardisation, 111-130, 2014 | 15 | 2014 |
| Symbolic protocol analysis with disequality constraints modulo equational theories S Escobar, C Meadows, J Meseguer, S Santiago Programming Languages with Applications to Biology and Security, 238-261, 2015 | 13 | 2015 |
| Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories S Escobar, C Meadows, J Meseguer, S Santiago Programming Languages with Applications to Biology and Security, 238-261, 2015 | 13 | 2015 |
| Analysis of the PKCS# 11 API Using the Maude-NPA Tool A González-Burgueño, S Santiago, S Escobar, C Meadows, J Meseguer International Conference on Research in Security Standardisation, 86-106, 2015 | 11 | 2015 |
| A rewriting-based forwards semantics for Maude-NPA S Escobar, C Meadows, J Meseguer, S Santiago Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 3, 2014 | 10 | 2014 |
| Effective Sequential Protocol Composition in Maude-NPA S Santiago, S Escobar, C Meadows, J Meseguer arXiv preprint arXiv:1603.00087, 2016 | 7 | 2016 |
