2 citations · 6 across the 6 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.CR2020
Protocol Analysis with Time
Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows +2
We present a framework suited to the analysis of cryptographic protocols that make use of time in their execution. We provide a process algebra syntax that makes time information a…
cs.LO2020★ 2 cited
Variant-based Equational Unification under Constructor Symbols
Damián Aparicio-Sánchez, Santiago Escobar, Julia Sapiña
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 equat…