Certified Patch Robustness via Smoothed Vision Transformers | IEEE Conference Publication | IEEE Xplore