Analysis of binary voting algorithms for use in fault-tolerant and secure computing | IEEE Conference Publication | IEEE Xplore