Sonia Santiago
Professor
Department of Biochemistry
Ponce School of Medicine and Health Sciences
United States of America
Biography
Sonia Santiago is currently working in PONCE Healthy Sciences university, USA
Research Interest
Biochemistry
Publications
-
"Sonia Santiago, Santiago Escobar, Catherine Meadows, and José Meseguer.A Formal Definition of Protocol Indistinguishability and its Verification Using Maude-NPA In proceedings of 10th International Workshop on Security and Trust Management (STM 2014),September 10-11, 2014, Wroclaw, Poland. LNCS volume 8743, pages 162-177. Springer 2014."
-
"Antonio González Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, and José Meseguer.Analysis of the IBM CCA Security API Protocols in Maude-NPA.In proceedings of 1st International Conference on Research in Security Standardisation (SSR 2014),Royal Holloway, London, UK - December 16-17, 2014. Lecture Notes in Computer Science, volume 8893, pages 111-130. Springer 2014."
-
"Antonio González Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, and José Meseguer.Analysis of the PKCS#11 API using the Maude-NPA tool.In proceedings of 2nd International Conference on Research in Security Standardisation (SSR 2015),Tokyo, Japan - December 15-16, 2015."
