Provably Robust Conformal Prediction with Improved Efficiency