Carleman estimates for elliptic boundary value problems with applications to the stablization of hyperbolic systems