MSc%20or%20BSc%20Theses%20Topics

= MSc Thesis Topics =

'''Title''': Open Source Voting Systems Correctness and Security Analysis

'''Supervisor''': Joseph Kiniry

'''Abstract''': Several Open Source voting systems have been developed over the past decade. None of them have been analyzed for correctness or security except by member's of our team. Pursuing this project will mean you will learn a great deal about how to perform such analyses using static code analysis, manual inspection, automated testing, and more.

= BSc Thesis Topics =

'''Title''': The Danish Voting System (DiVS)

'''Supervisor''': Joseph Kiniry

'''Abstract''': A tally system for the Danish electoral system has been formally analyzed an designed by a prior MSc student. This specification is written in a combination of an architecture description language called EBON and a model-based specification language called JML. A partial implementation of the system, following the Design by Contract approach to software development, exists, but must be completed and rigorously validated. Pursuing this project will mean you learn a great deal about rigorous software engineering in the context of the Java platform.

= Small Projects =

'''Title''': Verified First Past the Post Elections

'''Supervisor''': Joseph Kiniry

'''Abstract''': First past the post elections, like those in the U.S.A. and the U.K., are often viewed as "trivial" electoral schemes. Despite this fact, no one has developed an Open Source voting system for such a scheme that is mechanically, formally verified for full functional correctness. Pursuing this project will mean you learn a great deal about formal specification and reasoning in one or more formal frameworks.