research
∙
10/26/2020
Protocol Analysis with Time
We present a framework suited to the analysis of cryptographic protocols...
share
research
∙
06/29/2019
On Asymmetric Unification for the Theory of XOR with a Homomorphism
Asymmetric unification, or unification with irreducibility constraints, ...
research
∙
04/22/2019
Strand Spaces with Choice via a Process Algebra Semantics
Roles in cryptographic protocols do not always have a linear execution, ...
research
∙
06/19/2018