|
Risk-Limiting Audits for Online Elections
|
Research Project
|
Anne Hoff |
in progress |
2024 |
|
Verified Construction of Approval-Based Committee Voting Rules
|
Research Project
|
Henriette Färber |
in progress |
2024 |
|
Verified Construction of Multi-Round and Scoring-based Voting Rules Using Isabelle/HOL
|
Bachelor's Thesis |
Simon Filipp |
in progress |
2024 |
|
Proof of Correctness of Homomorphic Voting Rules with Isabelle/HOL
|
Bachelor's Thesis |
Jamie Klein |
finished
|
2024 |
|
Formalization and Verification of Proportional Representation Voting Systems Using Isabelle/HOL: A Study of D'Hondt and Sainte-Laguë Methods
|
Master's Thesis |
Salvatore Rossetta |
finished
|
2024 |
|
Program Synthesis from Formal Specifications for Correctness-by-Construction in CorC
|
Master's Thesis |
Dirk Neumann |
finished
|
2024 |
|
Transferring Proof Obligations from Program Verification in KeY to Isabelle/HOL
|
Bachelor's Thesis |
Nils Buchholz |
finished
|
2024 |
|
Traceability and Verifiability of Online Elections at Universities
|
Bachelor's Thesis |
Adrian Keller |
finished
|
2024 |
|
Formal Verification of Symmetry Properties in Distance-Rationalizable Voting Rules
|
Bachelor's Thesis |
Alicia Appelhagen |
finished
|
2024 |
|
Fair Judging in Competitive Dancing: Formal Verification of the Skating System
|
Bachelor's Thesis |
Lukas Löring |
finished
|
2023 |
|
Verified Construction of the Instant-Runoff Voting Rule
|
Bachelor's Thesis |
Guillermo Rodríguez |
finished
|
2023 |
|
Verified Efficient Implementation of Modular Voting Rules Using Stepwise Refinement in Isabelle/HOL
|
Master's Thesis |
Valentin Springsklee |
finished
|
2023 |
|
Formal Verification of the Split Cycle Voting Rule
|
Bachelor's Thesis |
Simon Liu |
finished
|
2023 |
|
An Automated Approach to Generating Card-Based
Cryptographic Protocols
|
Bachelor's Thesis |
Anne Hoff |
finished
|
2023 |
|
Distance Rationalization for Modular Construction of
Verified Voting Rules
|
Bachelor's Thesis |
Marion Steinriede |
finished
|
2022 |
|
Formal Security Analysis of BlockDAG Consensus Protocols
as Tournament Rankings
|
Research Project
|
Jörn Kußmaul |
finished
|
2021 |
|
Bounded Verification of Fairness Properties for
Seat Apportionment Methods
|
Bachelor's Thesis |
Markus Toran |
finished
|
2021 |
|
Formal Verification of Strategic Stability Measures for
Scoring Rules Using Iterative Voting
|
Bachelor's Thesis |
Muhammed Öz |
finished
|
2021 |
|
Formal Verification of Scoring-based Voting Rules
Using Composable Modules
|
Bachelor's Thesis |
Christian Mack |
finished
|
2021 |
|
Compositional Verification of Social Choice Properties for
Single Transferable Vote Using an Interactive Theorem Prover
|
Bachelor's Thesis |
Maximilian Nowak |
finished
|
2021 |
|
Automated Verification and Generation of Voting Rules Using Composable Modules
|
Master's Thesis |
Fabian Richter |
finished
|
2021 |
|
Formalization of Fair Resource Allocation in
Computer Networks Regarding Latency and Data Volume
|
Bachelor's Thesis |
Joshua Brutscher |
finished
|
2020 |
Applying Software Bounded Model Checking to
the
Australian Voting Method
|
Bachelor's Thesis |
Thomas Caspers |
finished
|
2020 |
|
Using System Dependence Graphs for the Automatic Generation of Frame Conditions
|
Bachelor's Thesis |
Michel Bodé |
finished
|
2020 |
|
Formal Verification of Condorcet Voting Rules
Using Composable Modules
|
Bachelor's Thesis |
Stephan Bohr |
finished
|
2020 |
|
A Component-Based Approach to the Property-Oriented
Design of Voting Rules
|
Research Project
|
Karsten Diekhoff, Jonas Krämer |
finished
|
2019 |
|
Modular Verification of JML Contracts Using
Bounded Model Checking
|
Master's Thesis |
Jonas Klamroth |
finished
|
2019 |
|
Specification and Verification of Hyperledger Fabric
Smart Contracts
|
Master's Thesis |
Jonas Schiffl |
finished
|
2018 |
|
Comparing Deductive Program Verification
of Graph Data Structures
|
Bachelor's Thesis |
Jelle Kübler |
finished
|
2018 |
|
Automatic Logic-Based Margin Computation
for Efficient Election Audits
|
Bachelor's Thesis |
Larissa Löw |
finished
|
2018 |
|
Product Programs in Java for
Efficient Relational Verification
|
Bachelor's Thesis |
Pascal Gabriel |
finished
|
2018 |
|
Applying Bounded Verification to
the German Seat Distribution Procedure
|
Bachelor's Thesis |
Grigori Schapoval |
finished
|
2018 |
|
A Divide-and-Conquer Strategy with Block and
Loop Contracts for Deductive Program Verification
|
Bachelor's Thesis |
Florian Lanzinger |
finished
|
2018 |
|
Formal Verification of Fair Data Traffic
|
Research Project
|
Almut Demel |
finished
|
2017 |
|
Applying Relational Techniques for the Deductive
Verification of Voting Systems
|
Bachelor's Thesis |
Till Neuber |
finished
|
2016 |
|
Combining Graph-Based and Deductive
Information-Flow Analysis for Proving Noninterference
|
Research Project
|
Marko Kleine Büning |
finished
|
2016 |
