Researcher profile
Santiago Escobar
2 papers in the PaperMetrix corpus
Publications
Papers by this author
-
Variant-based Equational Unification under Constructor Symbols
2020 · Electronic Proceedings in Theoretical Computer Science
Equational unification of two terms consists of finding a substitution that, when applied to both terms, makes them equal modulo some equational properties. A narrowing-based equational unification algorithm relying on the concept of the variants …
-
Modelling and verification of post-quantum key encapsulation mechanisms using Maude
2023 · PeerJ Computer Science
Communication and information technologies shape the world's systems of today, and those systems shape our society. The security of those systems relies on mathematical problems that are hard to solve for classical computers, that is, …