Formalization of Receipt-Freeness in the Context of Electronic Voting | IEEE Conference Publication | IEEE Xplore