Are there any nice discussions of applications of small cancellation theory, or other cases of the word problem, in applied mathematics or algorithms for seemingly non-group theoretic problems?
I suppose two candidates are Anshel–Anshel–Goldfeld key exchange and braid group based cryptography.