We establish Sobolev regularity for solutions to the Boltzmann equation in a convex domain with diffuse boundary condition.