Efficient implementations of self-checking adders and ALUs | IEEE Conference Publication | IEEE Xplore