We consider the six-vertex model with reflecting end boundary condition. We compute analytically boundary correlation functions, such as the boundary polarization and the emptiness formation probability. In order to do that, we use the Sklyanin's reflection algebra to derive recursion relations for the partition function of the model as well as for the boundary correlations in terms of the partition function. Thanks to the Tsuchiya determinant formula, these recursion relations allow the boundary correlations to be also efficiently written in determinant form. *

We consider the six-vertex model with reflecting end boundary condition. We study the asymptotic behavior of the boundary correlations. This asymptotic behavior is used as an input into the Tangent Method in order to derive analytically the arctic curve at the free fermion point. The obtained curve is a semicircle, which is in agreement with previous Monte Carlo simulations. *