Sonia Santiago
Title
Cited by
Cited by
Year
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
562014
State space reduction in the Maude-NRL protocol analyzer
S Escobar, C Meadows, J Meseguer, S Santiago
Information and Computation 238, 157-186, 2014
502014
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
252012
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
222013
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
152009
Sequential Protocol Composition in Maude-NPA.
S Escobar, CA Meadows, J Meseguer, S Santiago
ESORICS 6345, 303-318, 2010
142010
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
112014
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
92015
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
92015
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
82014
Strand Spaces with Choice via a Process Algebra Semantics
F Yang, S Escobar, C Meadows, J Meseguer, S Santiago
72016
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
62015
Effective Sequential Protocol Composition in Maude-NPA
S Santiago, S Escobar, C Meadows, J Meseguer
arXiv preprint arXiv:1603.00087, 2016
52016
The system can't perform the operation now. Try again later.
Articles 1–13