Dalia Khader, Qiang Tang, Peter Y. A. Ryan. Proving Prêt à Voter Receipt Free Using Computational Security Models. In 2013 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, EVT/WOTE '13, Washington, D.C., USA, August 12-13, 2013. USENIX Association, 2013. [doi]
Abstract is missing.