Groups With Two Generators Having Unsolvable Word Problem And Presentations of Mihailova Subgroups.
Xiaofeng Wang, Xu Chen, Li Guo, Hanling Lin · IACR Cryptology ePrint Archive · 2014
A presentation of a group with two generators having unsolvable word problem and an explicit countable presentation of Mihailova subgroup of F2 × F2 with finite number of generators are given. Where Mihailova subgroup of F2 × F2 enjoys the unsolvable subgroup membership problem. One then can use the presentation to create entities’ private keys in a public key cryptsystem.