1: \begin{abstract}

2:   Bogopolski, Martino and Ventura in {\cite{bogopolski2010orbit}} introduced a

3:   general criteria to construct groups extensions with unsolvable conjugacy

4:   problem using short exact sequences. We prove that such extensions have

5:   always solvable word problem. This makes the proposed construction a

6:   systematic way to obtain finitely presented groups with solvable word

7:   problem and unsolvable conjugacy problem. It is believed that such groups

8:   are important in cryptography. For this, and as an example, we provide an

9:   explicit construction of an extension of Thompson group $F$ and we propose

10:   it as a base for a public key cryptography protocol.

11: \end{abstract}

12: