Advancing The Formal Foundations For Voting Protocols