Sonia Santiago

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 3

Top Topics

Concurrent Programs

Process Algebra

Equational Theories

Top Venues

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

Publications

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