Introducción a los protocolos pos-cuánticos, Seminario SISTEDES, December 19, 2023.
Speaker: Santiago Escobar (online).
Formal Methods for Cryptographic Protocol Analysis, Master’s Degree in Software Engineering and Artificial Intelligence,
November 9, 2022, Málaga, Spain.
Speaker: Santiago Escobar.
Equational Unification and Narrowing in Maude, The International Conference on Formal Engineering Methods (ICFEM 2022),
October 24-27, 2022, Madrid, Spain.
Speaker: Santiago Escobar.
Term Rewriting and Cryptographic Protocol Analysis: the Maude-NPA tool, 13th International School on Rewriting,
September 19-24, 2022, Tbilisi, Georgia.
Speaker: Santiago Escobar.
Graduate Summer School on Maude and its Uses. Department of Informatics, King’s College London. 25-26 July, 2022.
Speaker: Santiago Escobar (online).
Equational Unification and Narrowing in Maude, 14th International Workshop on Rewriting Logic and its Applications (WRLA 2022),
April 2-3, 2022, Munich, Germany.
Speaker: Santiago Escobar.
Unification and Narrowing in Maude 3.1, 12th International School on Rewriting, July 5-16, 2021. Madrid, Spain.
Speaker: Santiago Escobar (online).