Integer-arithmetic-only Certified Robustness for Quantized Neural Networks | IEEE Conference Publication | IEEE Xplore