Applications of infinite non-abelian groups to cryptography

Several cryptanalytic methods against group-based cryptography suggest possible use cases for infinite non-abelian groups; for example, non-Hopfian groups. We would like to develop tools to understand how these infinite objects can fit into a cryptographic context, and whether their use can be used to address some of the cryptanalytic methods deployed against group-based cryptography.