posted by user: sanjoy || 3100 views || tracked by 3 users: [display]

REVOTE 2011 : International Workshop on Requirements Engineering for Electronic Voting Systems

FacebookTwitterLinkedInGoogle

Link: http://ed.fbk.eu/revote/index.php
 
When Aug 29, 2011 - Aug 29, 2011
Where Trento, Italy
Submission Deadline May 25, 2011
Notification Due Jul 5, 2011
Final Version Due Jul 26, 2011
Categories    requirements engineering
 

Call For Papers

REVOTE is devoted to gather researchers and practitioners from both academia and industry in order to get a better understanding of the strengths and the weaknesses of existing techniques and thus lay the foundations for engineering, designing, implementing, as well as deploying a new generation of more secure and robust technologies for polling stations. REVOTE'11 will address the following main issues:

The role of business process (re)engineering techniques for e-voting system development.
Usability requirements for complexity (huge, complex ballots sheets) and for verifiability mechanisms and tradeoffs between different other requirements.
New requirements like unconditional election secrecy, complaints management, transparency.
In addition REVOTE`11 will address the following issues:

Empirical analysis concerning the impact of poorly specified requirements on current e-voting technology.
The role of formal methods in specification and verification of system properties, with particular interest in security, verifiability and anonymity.
Evaluation of systems according to security and usability requirements.
Requirements maintenance, domain engineering and (software) product lines.
Usability requirements for verifiability mechanisms and tradeoffs between different other requirements.
Legal requirements, deducing technical requirements from legal ones.
Analysis of voting requirements documents and requirements capture processes, including those that predate e-voting.
Procedural Security modeling and Analysis.
New protocol ideas to support specific requirements (such as verifiability).
Realistic threat models.

Related Resources

Springer ICMSCE 2026   Springer--2026 8th International Conference on Mechatronics Systems and Control Engineering (ICMSCE 2026)
MoDRE 2019   9th International Workshop on Model-Driven Requirements Engineering (MoDRE)
ICAME--EI 2026   2026 the 4th International Conference on Automation and Mechatronics Engineering (ICAME 2026)
MoDRE 2026   16th International Model-Driven Requirements Engineering (MoDRE) Workshop
ICMSCE 2026   Springer--2026 8th International Conference on Mechatronics Systems and Control Engineering (ICMSCE 2026)
AIEE--EI 2026   2026 7th International Conference on Artificial Intelligence in Electronics Engineering (AIEE 2026)
ICoIAS 2026   IEEE--2026 the 8th International Conference on Intelligent Autonomous Systems (ICoIAS 2026)
ICCS--EI 2026   2026 the 6th International Conference on Computer Systems (ICCS 2026)
ACM AMMS 2026   ACM--2026 8th International Applied Mathematics, Modelling and Simulation Conference (AMMS 2026)
ICCIA--EI 2026   2026 11th International Conference on Computational Intelligence and Applications (ICCIA 2026)