Sonia Santiago

According to our database, Sonia Santiago authored at least 12 papers between 2009 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2016

Effective Sequential Protocol Composition in Maude-NPA.

Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer

CoRR, 2016

Strand spaces with choice via a process algebra semantics.

Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago

Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

2015

Analysis of the PKCS#11 API Using the Maude-NPA Tool.

Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer

Proceedings of the Security Standardisation Research - Second International Conference, 2015

Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories.

Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago

Proceedings of the Programming Languages with Applications to Biology and Security, 2015

2014

State space reduction in the Maude-NRL Protocol Analyzer.

Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago

Inf. Comput., 2014

A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA.

Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer

Proceedings of the Security and Trust Management - 10th International Workshop, 2014

Analysis of the IBM CCA Security API Protocols in Maude-NPA.

Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer

Proceedings of the Security Standardisation Research - First International Conference, 2014

A rewriting-based forwards semantics for Maude-NPA.

Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago

Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014

2013

Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis.

Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse

Proceedings of the Automated Deduction - CADE-24, 2013

2012

Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions.

Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse

Proceedings of the Computer Security - ESORICS 2012, 2012

2010

Sequential Protocol Composition in Maude-NPA.

Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago

Proceedings of the Computer Security, 2010

2009

A Graphical User Interface for Maude-NPA.

Sonia Santiago, Carolyn L. Talcott, Santiago Escobar, Catherine Meadows, José Meseguer

Proceedings of the Ninth Spanish Conference on Programming and Languages, 2009