Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Formal Methods for Trustworthy Voting Systems

PhD Thesis
Author(s):Michael Kirsten
School:Karlsruhe Institute of Technology (KIT)
Year:2022

Note

To appear.

BibTeX

@PhDThesis{KirstenDiss2022,
  author     = {Michael Kirsten},
  year       = {2022},
  title      = {Formal Methods for Trustworthy Voting Systems},
  school     = {Karlsruhe Institute of Technology (KIT)},
  note       = {To appear.}
}