Local marked boundary rigidity under hyperbolic trapping assumptions

Under the assumption that the X-ray transform over symmetric solenoidal 2-tensors is injective, we prove that smooth compact connected manifolds with strictly convex boundary, no conjugate points and a hyperbolic trapped set are locally marked boundary rigid.