Achieving Certified Robustness for Brain-Inspired Low-Dimensional Computing Classifiers | IEEE Conference Publication | IEEE Xplore