Sonia Santiago

13 papers A 3C 1Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
2023 — conf
Strand Spaces with Choice via a Process Algebra Semantics.
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
2016 J jnl
Effective Sequential Protocol Composition in Maude-NPA.
CoRR
Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer
2016 C conf
Strand spaces with choice via a process algebra semantics.
PPDP
Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
2015 — conf
Analysis of the PKCS#11 API Using the Maude-NPA Tool.
SSR
Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer
2015 — conf
Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories.
Programming Languages with Applications to Biology and Security
Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
2014 — conf
A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA.
STM
Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer
2014 — conf
A rewriting-based forwards semantics for Maude-NPA.
HotSoS
Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
2014 — conf
Analysis of the IBM CCA Security API Protocols in Maude-NPA.
SSR
Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer
2014 J jnl
State space reduction in the Maude-NRL Protocol Analyzer.
Inf. Comput.
Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
2013 A conf
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis.
CADE
Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse
2012 A conf
Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions.
ESORICS
Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse
2010 A conf
Sequential Protocol Composition in Maude-NPA.
ESORICS
Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
2009 — conf
A Graphical User Interface for Maude-NPA.
PROLE
Sonia Santiago, Carolyn L. Talcott, Santiago Escobar, Catherine Meadows, José Meseguer