According to our database1, Sonia Santiago authored at least 12 papers between 2009 and 2016.
Legend:Book In proceedings Article PhD thesis Other
Effective Sequential Protocol Composition in Maude-NPA.
Strand spaces with choice via a process algebra semantics.
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016
Analysis of the PKCS#11 API Using the Maude-NPA Tool.
Proceedings of the Security Standardisation Research - Second International Conference, 2015
Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories.
Proceedings of the Programming Languages with Applications to Biology and Security, 2015
State space reduction in the Maude-NRL Protocol Analyzer.
Inf. Comput., 2014
A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA.
Proceedings of the Security and Trust Management - 10th International Workshop, 2014
Analysis of the IBM CCA Security API Protocols in Maude-NPA.
Proceedings of the Security Standardisation Research - First International Conference, 2014
A rewriting-based forwards semantics for Maude-NPA.
Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis.
Proceedings of the Automated Deduction - CADE-24, 2013
Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions.
Proceedings of the Computer Security - ESORICS 2012, 2012
Sequential Protocol Composition in Maude-NPA.
Proceedings of the Computer Security, 2010
A Graphical User Interface for Maude-NPA.
Electr. Notes Theor. Comput. Sci., 2009