activity
20172022
most citedCryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms

2 citations · 2 across the 2 of their papers we have counts for

collaborators
Showing cs.CCShow all

1 paper · 1 filter

cs.CC2019

On Asymmetric Unification for the Theory of XOR with a Homomorphism

Christopher Lynch, Andrew M. Marshall, Catherine Meadows +2

Asymmetric unification, or unification with irreducibility constraints, is a newly developed paradigm that arose out of the automated analysis of cryptographic protocols. However,…