Hyperbolic manifolds with convex boundary

Let (M,∂M) be a 3-manifold, which carries a hyperbolic metric with convex boundary. We consider the hyperbolic metrics on M such that the boundary is smooth and strictly convex. We show that the induced metrics on the boundary are exactly the metrics with curvature K>-1, and that the third fundamental forms of ∂M are exactly the metrics with curvature K<1, for which the closed geodesics which are contractible in M have length L>2π. Each is obtained exactly once.