Logo des Repositoriums

Auflistung nach Autor:in "Villafiorita, Adolfo"

1 - 3 von 3
  • Konferenzbeitrag
    Iraqi elections in 2014: a privacy requirement evaluation based on a polling place experience
    (Informatik 2014, 2014) Al-Shammari, Ali Fawzi Najm; Villafiorita, Adolfo
    Democracy was not a well known term for the Iraqi people till 2003, when the US and coalition forces begun a military action against the Iraqi regime at that time. After that, the new constitution in Iraq allows the citizen to elect the government, the local governments, and the parliament, every 4 years. For this reason, the Independent High Electoral Commission (IHEC) was established to manage, control, and run the elections. In the first two elections, the voting system was a “regular” paper-based system. Recently, in 2014, the process has been improved by making the voter authorization process electronic. In this paper, we will describe the latest voting system used in the Iraqi election and make some evaluation about the system fulfillments of privacy requirements, based on a polling station experience.
  • Konferenzbeitrag
    A Methodology for Assessing Procedural Security: A Case Study in E-Voting
    (Electronic Voting 2008 (EVOTE08). 3rd International Conference on Electronic Voting 2008, Co-organized by Council of Europe, Gesellschaft für Informatik and EVoting.CC, 2008) Weldemariam, Komminist; Villafiorita, Adolfo
    This paper presents a methodology for procedural security analysis in order to analyze and eventually try to make elections more secure. Our approach is based on modelling the electoral procedures in the form of business process models (which we write in a strict simplified subset of UML), systematically translate the models into executable formal specifications, and analyze the specifications against security properties. We believe such an analysis to be essential to identifying the limits of the current procedures (i.e. undetected attacks) and to identify more precisely under what hypotheses we can guarantee secure elections. This paper presents the approach and demonstrates with an example taken from the e-Voting procedures enacted within the ProVotE project, current trial of the Italian legislation.
  • Konferenzbeitrag
    A survey: electronic voting development and trends
    (4th International Conference on Electronic Voting 2010, 2010) Weldemariam, Komminist; Villafiorita, Adolfo
    Any practitioner working on electronic voting (e-voting) seems to have different opinions on the main issues that seem to affect the area. On the one handgiven the criticality and the risk e-voting systems potentially pose to the democratic process-e-voting systems are permanently under a magnifying glass that amplifies any glitch, be it significant or not. On the other hand, given the interest e-voting raises within the general public, there seems to be a tendency to generalize and oversimplify. This tendency leads to attributing specific problems to all systems, regardless of context, situation, and actual systems used. Additionally, scarce know-how about the electoral context often contributes to make matters even more confused. This is not to say all e-voting systems show the security and reliability characteristics that are necessary for a system of such a criticality. On the contrary, a lot of work still has to be done. Starting from previous experiences and from a large-scale experiment we conducted in Italy, this paper provides some direction, issues, and trends in e-voting. Getting a clearer view of the research activities in the area, highlighting both positive and negative results, and emphasizing some trends could help, in our opinion, to draw a neater line between opinion and facts, and contribute to the construction of a next generation of e-voting machines to be safely and more confidently employed for elections.