Why don't voting machines have their own specialized operating system? There's no need for all the extra baggage that comes with a general purpose operating system since all voting machines do the same stuff. I would think that, even if the source code was leaked, there'd be fewer vulnerabilities for the hacker to take advantage of.