Sonia Santiago

Orcid: 0000-0002-7186-0484

According to our database1, Sonia Santiago authored at least 12 papers between 2009 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Strand Spaces with Choice via a Process Algebra Semantics.
Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023

2016
Effective Sequential Protocol Composition in Maude-NPA.
CoRR, 2016

2015
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

2014
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

2013
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis.
Proceedings of the Automated Deduction - CADE-24, 2013

2012
Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions.
Proceedings of the Computer Security - ESORICS 2012, 2012

2010
Sequential Protocol Composition in Maude-NPA.
Proceedings of the Computer Security, 2010

2009
A Graphical User Interface for Maude-NPA.
Proceedings of the Ninth Spanish Conference on Programming and Languages, 2009


  Loading...