Sonia Santiago Pinazo
Ph. D. Student in Computer Science
Member of the Extensions Logic Programming (ELP) research group
Contact
Sonia Santiago Pinazo
Departamento de Sistemas Informáticos y Computación
Universidad Politécnica de Valencia
Camino de Vera s/n, E-46022 Valencia (Spain)
Phone: +34 963 877 007 (Ext. 83529)
Fax: +34 963 877 359
Office 2L01 (1F - DSIC building)
E-mail: ssantiago@dsic.upv.es.
Research Interests
- Term Rewriting
- Security
Publications
-
S. Santiago,
C. Talcott,
S. Escobar,
C. Meadows and
J. Meseguer.
A Graphical User Interface for Maude-NPA.
In IX Jornadas sobre Programación y Lenguajes (PROLE 2009) .
Electronic Notes in Theoretical Computer Science, volume 258, number 1, pages 3-20. Elsevier, 2009.
© Elsevier
Available:
DOI
-
S. Escobar,
C. Meadows,
J. Meseguer
and S. Santiago.
Sequential Protocol Composition in Maude-NPA
In proceedings of European Symposium on Research in Computer Security (ESORICS 2010),
LNCS to appear. 2010.
© Springer-Verlag
Interesting Links
- The Maude-NPA GUI homepage: www.dsic.upv.es/~ssantiago/Maude-NPA_GUI/index.html
- The Maude-NPA tool homepage: maude.cs.uiuc.edu/tools/Maude-NPA/index.html
- 5th International Workshop on Security and Rewriting Techniques (SecReT'10) at Valencia, Spain, June 18-20, 2010
Last modified on the 29th of June, 2010