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