Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Home
Back to project page

Towards Realising Post-Quantum Secure ElectionGuard

Master's Thesis
Author(s):Jonas Ludwig
School:Karlsruher Institut für Technologie (KIT)
Year:2023
DOI:10.5445/IR/1000165945

BibTeX

@MastersThesis{ludwig2023,
  title        = {Towards Realising Post-Quantum Secure ElectionGuard},
  author       = {Jonas Ludwig},
  year         = {2023},
  month        = dec,
  school       = {Karlsruher Institut f{\"{u}}r Technologie (KIT)},
  type         = {Master's Thesis},
  doi          = {10.5445/IR/1000165945}
}