- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Article Processing Charges ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Recently Accepted Articles ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Physics Research International
Volume 2014 (2014), Article ID 948750, 8 pages
Multiparty Quantum Communication Using Multiqubit Entanglement and Teleportation
1Wilfrid Laurier University, Waterloo, ON, Canada N2L 3C5
2University of Waterloo, Waterloo, ON, Canada N2L 3G1
3Indian Institute of Technology Jodhpur, Rajasthan 342 011, India
Received 6 February 2014; Revised 2 July 2014; Accepted 2 July 2014; Published 11 August 2014
Academic Editor: Lorenzo Pavesi
Copyright © 2014 S. Ghose et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
We propose a qubit entangled channel that can be used to teleport qubits in a network to a single receiver. We describe the structure of this channel and explicitly demonstrate how the protocol works. The channel can be used to implement a scheme in which all parties have to participate in order for the teleportation to be successful. This can be advantageous in various scenarios and we discuss the potential application of this protocol to voting.
Communication in a network of multiple parties is currently a vital area of research and discussion. Quantum protocols that harness the power of entanglement offer new avenues for efficient multipartite communication. For example, the pioneering protocol of Christandl and Wehner  allows one member of a group to send another member anonymous messages. However, their solution allows a malicious group member to alter the transmitted state undetected. Brassard et al.  offer an improved anonymous communication protocol that sets no limit on the number of malicious participants and aborts if they are active. Identifying quantum channels for novel communication protocols thus remains an active area of research [3–16]. Such channels have potential applications to tasks such as voting, where private messages go to a single receiver. Quantum voting protocols have been proposed that use entangled states distributed amongst participants in order to allow each participant to act independently and in secret [17–24]. Although the schemes ensure the anonymity of the senders, they require qubits/qudits to be physically sent to the receiver, which makes protocols vulnerable to eavesdropping or cheating.
In this paper we describe a protocol for communication using multiqubit entanglement and teleportation. We consider a network of parties, where each person wants to send a qubit privately and anonymously to a receiver. In the context of voting, each qubit could be used to encode a yes/no vote of the sender. One simple option for sending qubits to a receiver is for each member of the network to share an entangled Bell pair with the receiver and use this entangled channel to teleport his/her qubit to the receiver. Here, we describe the use of a 2 qubit entangled state to perform the teleportation. This 2 qubit state cannot be written as a product of Bell pairs via local operations. By controlling access to the 2th qubit, we can develop a scheme that cannot be implemented with Bell pairs: we look at the case where all members in the network must participate or the protocol fails; that is, if any member does not send a qubit, then the receiver will not receive any of the qubits perfectly. Such an all-or-nothing scenario would be useful in certain voting schemes such as a jury or a committee, or in countries like Australia where all voters must participate. Furthermore, this protocol would be useful in cases where each transmitted qubit only encodes part of a message and the message is readable only if all parts are teleported. For example, the qubits could encode parts of the password to a joint bank account shared by all parties that can only be accessed with the knowledge and participation of all members. Another possible application is in a spy network, where each spy in the network knows and transmits part of a secret. Unlike other secret sharing schemes [25–29], the senders do not have to communicate with each other and do not have any common information at the end of the protocol.
We propose a 2 qubit entangled channel that can be used to teleport qubits to a receiver. Unlike other schemes for -qubit teleportation [8, 30–32], our protocol only requires single and two-qubit gates and measurements that are feasible in current experiments. Like other teleportation protocols, since the qubits are teleported to the receiver by the senders, there is no physical transmission of qubits from the senders to the receiver and thus nothing for an adversary to steal or eavesdrop on. We describe how the structure of the entangled channel can also be used to ensure that the protocol succeeds when all senders participate. The set up satisfies the general criteria for voting protocols established in the literature .(1)No one can determine the state of anyone else’s qubit (vote) from the publicly broadcast information in the protocol.(2)The receiver will not be able to gain any information about the individual qubits from the publicly broadcast information in the protocol. The receiver does not need to know the state of each qubit to accurately receive each teleported qubit. Information labelling individual qubits (votes) can be discarded before measuring the state of each qubit to count votes.(3)A sender cannot prove to a third party what his/her teleported state was. For voting, this means that the vote is receipt-free; that is, the voter cannot prove to a third party how he/she voted.(4)A sender cannot transmit more than one qubit. In the context of voting, this means that each authorized voter can only vote once.In order to ensure these conditions, our protocol requires some assumptions to be made:(1)The senders and the receiver verify that they share a perfect entangled channel using established techniques. Once the senders and the receiver verify that they share a perfect quantum channel, the protocol ensures that only authorized senders participate in the protocol.(2)All the senders and the receiver in the protocol are honest; that is, none of them tries to cheat during the protocol.Under these assumptions, our protocol ensures teleportation of independent qubits to the receiver with perfect fidelity and unit probability. We now proceed to discuss the protocol in detail.
2. Qubit Entangled Quantum Channel
Before describing our qubit entangled channel, we first review the properties of a standard quantum channel composed of the direct product of Bell pairs ; that is, where the 1st qubit is entangled with the th qubit, 2nd qubit is entangled with the th qubit, and so on. The qubit channel in (1) has the property that the value (0 or 1) of the first qubits is exactly the same as that of the last qubits. For example, the four- and six-qubit quantum channels corresponding to the direct product of two and three Bell pairs can be written as respectively. Notice that the first 2 qubits in each term in (2) are identical to the last 2 qubits and the first 3 qubits in (3) are identical to the last 3 qubits in each term. This property allows us to analyze the characteristics of the qubit entangled quantum state used as a resource in this paper.
The qubit entangled channel we propose can be written as where the state contains half of the basis states corresponding to qubits with even number of ’s and the state contains other half of the basis states with odd number of ’s. This state cannot be transformed into the product state of Bell pairs (1), via local unitary operations. For each term of the qubit entangled state , the value (0 or 1) of the th qubit is exactly the same as that of the th qubit if the number of ’s from the qubits is even; else the value of the th qubit is opposite to that of the th qubit. For example, the states and for a four-qubit quantum channel would be and . Similarly for a six-qubit quantum channel, the states and are and , respectively. Hence, the four- and six-qubit entangled channels would beNotice that, in each term, the fourth qubit (sixth qubit) in (5a) (see (5b)) is exactly the same as the second qubit (third qubit) if the number of ’s in the individual terms , of the state is even; else the fourth (sixth) qubit is the opposite of the second (third) qubit. Note also that the first qubits each has nonzero concurrence with the 2th qubit, where concurrence is a measure of two-qubit entanglement . This entanglement with the 2th qubit can be used for the teleportation scheme as described below.
3. -Qubit Communication Protocol
We first review the original teleportation protocol proposed by Bennett et al.  in order to provide an insight into our scheme. If a sender wants to communicate a single qubit state to a receiver, then the sender and the receiver must share one of the Bell states, that is, where the qubit 2 is assigned to the sender and the qubit 3 is assigned to the receiver. If the shared entangled resource is then the joint state of the three qubits can be written as If the sender performs any measurement on the qubits 1 and 2 in the Bell basis, then the state of receiver’s qubit will be projected onto one of the four possible states as shown in (7) with equal probability of . For example, if the sender’s measurement outcome is , then the receiver’s qubit will be projected onto the desired teleported state. However, in all the other measurement outcomes of the sender, the receiver would need to perform a single qubit unitary transformation on the qubit 3 to recover the teleported state.
The direct product state of Bell pairs in (1) can also be used as a resource for the teleportation of single qubit states in a similar fashion. For example, if the qubit channel in (1) is shared between the senders and a receiver, then the first qubits can be assigned to the senders and the last qubits can be assigned to the receiver. Each sender wants to teleport a single-qubit state to the receiver and thus measures his/her qubits in the Bell basis and sends the measurement result to the receiver. The receiver would then be able to recover the state of all the qubits by performing single-qubit unitary transformations on his/her qubits depending on the measurement outcomes of the senders. Notice that, similar to the single qubit teleportation protocol, the measurement outcomes , , , and would always correspond to the states , , , and , respectively.
We now proceed to describe the teleportation protocol using our state (4) as an entangled channel, instead of the standard channel of Bell pairs described above. For our protocol, the first qubits in the shared entangled state are with the senders and the last qubits are with the receiver. Each sender wants to teleport the state to the receiver. Thus, the joint state of qubits, composed of votes and qubit entangled channel can be expressed as Each sender performs a Bell measurement on his/her qubit to be teleported and the shared entangled qubit in the qubit entangled state. The joint state of qubits in (8) can be rewritten in terms of the measurement basis of all the senders as where are the states of receiver’s qubits depending on the measurement outcomes of all the senders and contains all the information about the individual qubits (votes). For example, if we consider a four-qubit entangled resource, then the state corresponding to the measurement outcomes and would be
The receiver at this stage would not be able to separate the exact qubits teleported by the senders as the joint state of receiver’s qubit cannot be written as the direct product state of the individual qubits. However, if he/she performs a CNOT operation with qubit 3 as the control and qubit 4 as the target, then the joint state of the receiver’s qubits can be reexpressed as respectively. Thus, the receiver can successfully separate the qubits teleported by the senders. However, for all the other measurement outcomes of the senders, the receiver would need to perform single qubit unitary operations in addition to the CNOT transformations. The required single-qubit unitary transformations for the use of the four qubit entangled channel are summarized in Table 1. For this protocol to be successful, the receiver must know the distribution of entangled qubits so that he/she can apply the correct unitary transformations to recover the teleported qubits accurately. The multiqubit state teleported to the receiver could be used as an input for another computation or communication protocol without the receiver having to know the state of the qubits.
For the case of a qubit entangled channel, the state corresponding to the measurement outcomes and can be either written as if is even or if is odd. In order to recover the teleported qubits, the receiver performs CNOT operations on the joint state of qubits by always using the th qubit as the target and the qubits as controls, respectively. The CNOT operations transform the states in (12) and (13) to the form In this specific case, the receiver does not need to perform any single-qubit unitary transformations. However, for all other sets of measurement outcomes, the receiver would need to apply single-qubit transformations to his/her qubits conditioned on the senders’ measurement outcomes to exactly recover the teleported qubits. Notice that the measurement outcomes , , , and correspond to the states , , , and , respectively. For example, if the measurement outcomes of all the senders are then in addition to the CNOT operations, the receiver needs to apply operations to all the qubits. Similarly, for all other sets of measurement outcomes, the receiver has to apply the appropriate unitary to each qubit in order to recover all the teleported qubits accurately.
Note that the all the receiver’s CNOT operations use the th qubit as a target. The channel is not symmetric so it is important for the th qubit to be the target qubit. Thus, if the receiver does not have access to the th qubit for performing the CNOT gates, then the protocol would not work. Thus by controlling the receiver’s access to the th qubit one can ensure that the protocol is only successful when all the senders participate. In order to ensure that the receiver only performs all the CNOT operations when all the senders participate, one could require that the receiver only gets access to the th qubit after all the senders broadcast their measurement results. If one or more senders decide not to participate in the scheme and do not measure his/her qubit, then the receiver would not get access to the th qubit and would not be able to perform any of the CNOT operations. In comparison, for the standard teleportation using Bell pairs, limiting the receiver’s access to only the th qubit would not prevent the successful teleportation of the 1st qubits. Our protocol thus offers the possibility of a scheme that cannot be done with Bell pairs. Securing access to the th qubit also has an additional benefit: if the other qubits on the receiver’s end are compromised or stolen, the teleported state of the qubits cannot be recovered from the stolen qubits, since the th qubit is required as a target to perform the CNOT operations and recover the teleported state of the other qubits. Thus, by keeping the th qubit secure, the protocol’s security is ensured. In comparison, for the standard teleportation using Bell pairs, all the qubits have to be kept safe in order to ensure secure teleportation. In a network as the number of senders grows larger, the benefit of our protocol increases.
The protocol described above can be used in a voting system, where each sender sends a yes/no vote encoded in the teleported qubit. The voters (senders) do not have to physically send their votes to the polling station, since their votes are teleported to the receiver at the polling station. When we vote with a traditional paper ballot system, a number of properties are either explicit or implicit, properties such as confidentiality, eligibility, and integrity. Electronic voting systems, including quantum based systems, attempt to accomplish similar goals in the digital domain. In particular, they strive to maintain integrity, ensure eligibility, preserve unlinkability, and allow verifiability. The classic text, Applied Cryptography , lists specific properties a voting system should have. A more recent work  describes an entire taxonomy providing a hierarchy of protection a voting system can provide. Quantum-based systems excel at certain aspects. For example, our system has no physical transfer of ballots, since the vote qubits are teleported, so there is nothing to physically steal. Also, thanks to the no-cloning theorem, our ballots cannot be duplicated (and, in fact, nonduplication is identified by  as one of the hardest requirements to meet).
A recent quantum paper  lists security properties that a quantum voting system should satisfy and here we compare our protocol against these properties and describe explicitly below how our protocol can be used in a manner that meets these rules.(R1) The vote of each voter should be kept secret from all other voters. Like all teleportation schemes, since the only publicly broadcast messages are the measurement outcomes of each voter, the individual votes cannot be deterministically extracted from this public information. In fact this means that not just the other voters are ignorant of a particular vote, but any outside observer is similarly ignorant.(R2) The receiver should not be able to gain information about the voting of individual voters. The receiver at the polling station does not need to first know the state of each qubit (the vote) in order to perform the transformations required to accurately receive each teleported vote qubit. Once the receiver at the polling station has performed the operations and all the qubits have been successfully teleported, the information regarding which qubit was teleported from which sender can be deleted before the vote qubits are sent for measurement in order to count the vote. Hence when the votes are counted, there is no information about the voting of individual voters.(R3) The votes should be receipt-free. Each voter’s Bell measurement destroys the original state that was to be teleported, so a voter cannot show his/her vote to a third party after the vote has been teleported. Furthermore, the voter cannot use the measurement outcomes to prove to a third party what his/her vote was.(R4) A voter should not vote more than once. Once a sender performs a Bell measurement on his/her qubit from the entangled channel, it becomes disentangled from the rest of the system. Thus, the sender cannot teleport additional votes without having more qubits from the entangled qunatum channel. This ensures that a sender in a voting scheme cannot vote more than once.
Furthermore, we additionally meet the requirement that only authorized voters can vote. Here we assume that a standardized authorization scheme has been used to create a list of authorized voters. The entangled channel qubits are then only distributed to voters on this list. Without sharing a qubit from the entangled channel, a voter will not be able to teleport his/her vote. Unauthorized voters who are not on the list will not be a part of the entangled network and cannot vote.
The development of resources for quantum communication and computation lies at the heart of quantum information theory. We have described a qubit entangled channel that can be used to teleport independent qubits in a network to a single receiver. We have discussed the structure of this channel and demonstrated how the protocol can be used for teleporting qubits using only single and 2-qubit operations. We have shown the explicit operations required for 2- and 3-qubit teleportation and described the general -qubit teleportation scheme. The structure of the channel constructed allows the design of a teleportation protocol in which all authorized parties that have a qubit from the entangled channel have to participate in the protocol. This can be advantageous in situations where we demand all parties to participate. As an example, we have discussed the potential application of this protocol in a voting scheme. This scheme ensures that all voters must participate, that only authorized voters can vote, that each voter can only vote once, and that the vote is receipt-free. Unlike other quantum voting schemes, a third party cannot intercept or steal the votes, since the votes are teleported rather than physically sent. Assuming that the locations of the voters are isolated from each other, then the votes are private since the individual votes cannot be extracted perfectly from the publicly broadcast measurement outcomes. Our results thus demonstrate the potential of using multiqubit entanglement for communication tasks tailored to specific needs. We hope to extend this idea to develop other novel schemes in the future.
We explicitly demonstrate our protocol for the case of 3-qubit teleportation, using a six-qubit entangled channel. The joint state of qubits in (9) can be rewritten in terms of the measurement basis of all the senders as where are the states of the receiver’s qubits depending on the measurement outcomes of all the senders and contain all the information about the senders’ individual qubits. If a six-qubit entangled resource is used then the state corresponding to the measurement outcomes , , and can be written as As discussed above, the receiver would not be able to separate the exact votes sent by the senders as the joint state of receiver’s qubit cannot be written as the direct product state of the individual qubits. However, if we apply two CNOT operations with qubits 4 and 5 as controls and qubit 6 as target then the joint state of receiver’s qubits can be reexpressed as respectively. Thus, the receiver can successfully separate the exact qubits teleported by the senders. However, for all the other measurement outcomes of the senders, the receiver would need to perform single qubit unitary operations in addition to the CNOT transformations. For example, if a six-qubit quantum channel is used then, for the measurement outcomes , , and of the senders, the receiver needs to apply a operation on the qubit 6. The protocol is successful for all the measurement outcomes of the senders. The required single-qubit unitary transformations for the use of six-qubit entangled channels is summarized in Table 2. For this protocol to be successful the receiver must know the distribution of entangled qubits so that he/she can apply the correct unitary transformations to recover the qubits exactly. However, this does not allow the receiver to gain any information about the individual qubits of the senders.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
The authors thank V. Madhok for useful discussions. S. Ghose and A. M. Hamel were each supported by an NSERC Discovery Grant.
- M. Christandl and S. Wehner, “Quantum anonymous transmissions,” in Proceedings of the 11th International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT '05), pp. 217–235, 2005.
- G. Brassard, A. Broadbent, J. Fitzsimons, S. Gambs, and A. Tapp, “Anonymous quantum communication,” in Advances in Cryptology—ASIACRYPT 2007, vol. 4833 of Lecture Notes in Computer Science, pp. 460–473, Springer, Berlin, Germany, 2007.
- G. Rigolin, “Quantum teleportation of an arbitrary two-qubit state and its relation to multipartite entanglement,” Physical Review A, vol. 71, Article ID 032303, 2005.
- F. G. Deng, “Temperature dependence of the velocity boundary condition for nanoscale fluid flows,” Physical Review A, vol. 72, Article ID 036301, 2005.
- Z. X. Man, Y. J. Xia, and N. B. An, “Economical and feasible controlled teleportation of an arbitrary unknown N-qubit entangled state,” Journal of Physics B: Atomic, Molecular and Optical Physics, vol. 40, no. 10, pp. 1767–1774, 2007.
- F. G. Deng, C. Y. Li, Y. S. Li, H. Y. Zhou, and Y. Wang, “Symmetric multiparty-controlled teleportation of an arbitrary two-particle entanglement,” Physical Review A, vol. 72, Article ID 022338, 2005.
- Y. Yeo and W. K. Chua, “Teleportation and dense coding with genuine multipartite entanglement,” Physical Review Letters, vol. 96, Article ID 060502, 2006.
- P. X. Chen, S. Y. Zhu, and G. C. Guo, “General form of genuine multipartite entanglement quantum channels for teleportation,” Physical Review A, vol. 74, Article ID 032324, 2006.
- Z. X. Man, Y. J. Xia, and N. B. An, “Genuine multiqubit entanglement and controlled teleportation,” Physical Review A, vol. 75, no. 5, Article ID 052306, 5 pages, 2007.
- X. W. Wang, Y. G. Shan, L. X. Xia, and M. W. Lu, “Dense coding and teleportation with one-dimensional cluster states,” Physics Letters A, vol. 364, no. 1, pp. 7–11, 2007.
- S. Muralidharan and P. K. Panigrahi, “Quantum-information splitting using multipartite cluster states,” Physical Review A, vol. 78, Article ID 062333, 2008.
- N. Paul, J. V. Menon, S. Karumanchi, S. Muralidharan, and P. K. Panigrahi, “Quantum tasks using six qubit cluster states,” Quantum Information Processing, vol. 10, no. 5, pp. 619–632, 2011.
- S. Muralidharan and P. K. Panigrahi, “Perfect teleportation, quantum-state sharing, and superdense coding through a genuinely entangled five-qubit state,” Physical Review A, vol. 77, Article ID 032321, 2008.
- C. P. Yang, S.-I. Chu, and S. Han, “Efficient many-party controlled teleportation of multiqubit quantum information via entanglement,” Physical Review A, vol. 70, Article ID 022329, 2004.
- S. Ghose, S. Debnath, N. Sinclair, and A. a. . Kabra, “Multiqubit nonlocality in families of 3- and 4-qubit entangled states,” Journal of Physics A: Mathematical and Theoretical, vol. 43, no. 44, Article ID 445301, 16 pages, 2010.
- S. Ghose, N. Sinclair, S. Debnath, P. Rungta, and R. Stock, “Tripartite entanglement versus tripartite nonlocality in three-qubit greenberger-horne-zeilinger-class states,” Physical Review Letters, vol. 102, Article ID 250404, 2009.
- M. Hillery, M. Ziman, V. Bužek, and M. Bieliková, “Towards quantum-based privacy and voting,” Physics Letters A, vol. 349, no. 1–4, pp. 75–81, 2006.
- J. A. Vaccaro, J. Spring, and A. Chefles, “Quantum protocols for anonymous voting and surveying,” Physical Review A, vol. 75, no. 1, Article ID 012333, 2007.
- S. Dolev, I. Pitowski, and B. Tamir, “A quantum secret ballot,” http://arxiv.org/abs/quant-ph/0602087.
- D. Horoshko and S. Kilin, “Quantum anonymous voting with anonymity check,” Physics Letters A, vol. 375, no. 8, pp. 1172–1175, 2011.
- M. Bonanome, V. Buzek, M. Hillery, and M. Ziman, “Toward protocols for quantum-ensured privacy and secure voting,” Physical Review A, vol. 84, Article ID 022331, 2011.
- L. Jiang, G. He, D. Nie, J. Xiong, and G. Zeng, “Quantum anonymous voting for continuous variables,” Physical Review A: Atomic, Molecular, and Optical Physics, vol. 85, no. 4, Article ID 042309, 2012.
- Y. Li and G. Zeng, “Anonymous quantum network voting scheme,” Optical Review, vol. 19, no. 3, pp. 121–124, 2012.
- Y. Li and G. Zeng, “Quantum anonymous voting systems based on entangled state,” Optical Review, vol. 15, no. 5, pp. 219–223, 2008.
- M. Hillery, V. Buzek, and A. Berthiaume, “Quantum secret sharing,” Physical Review A, vol. 59, no. 3, pp. 1829–1834, 1999.
- A. Karlsson, M. Koashi, and N. Imoto, “Quantum entanglement for secret sharing and secret splitting,” Physical Review A: Atomic, Molecular, and Optical Physics, vol. 59, article 162, no. 1, 1999.
- D. Gottesman, “Theory of quantum secret sharing,” Physical Review A, vol. 61, no. 4, Article ID 042311, 8 pages, 2000.
- T. Tyc and B. C. Sanders, “How to share a continuous-variable quantum secret by optical interferometry,” Physics Letters A, vol. 65, Article ID 042310, 2002.
- A. Karlsson and M. Bourennane, “Quantum teleportation using three-particle entanglement,” Physical Review A, vol. 58, no. 6, pp. 4394–4400, 1998.
- C. Y. Cheung and Z. J. Zhang, “Criterion for faithful teleportation with an arbitrary multiparticle channel,” Physical Review A, vol. 80, Article ID 022327, 2009.
- S. Muralidharan, S. Karumanchi, S. Jain, R. Srikanth, and P. K. Panigrahi, “ qubit “mirror states” for optimal quantum communication,” The European Physical Journal D, vol. 61, no. 3, pp. 757–763, 2011.
- M.-J. Zhao, Z.-G. Li, X. Li-Jost, and S. Fei, “Multiqubit quantum teleportation,” Journal of Physics A: Mathematical and Theoretical, vol. 45, no. 40, Article ID 405303, 2012.
- W. K. Wootters, “Entanglement of formation of an arbitrary state of two qubits,” Physical Review Letters, vol. 80, pp. 2245–2248, 1998.
- C. H. Bennett, G. Brassard, C. Crépeau, R. Jozsa, A. Peres, and W. K. Wootters, “Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels,” Physical Review Letters, vol. 70, no. 13, pp. 1895–1899, 1993.
- B. Schneier, Applied Cryptography, John Wiley & Sons, New York, NY, USA, 2nd edition, 1996.
- L. Langer, A. Schmidt, J. Buchmann, and M. Volkamer, “A taxonomy refining the security requirements for electronic voting: Analyzing helios as a proof of concept,” in Proceedings of the 5th International Conference on Availability, Reliability, and Security (ARES '10), pp. 475–480, February 2010.