|
Verified Construction of the Instant-Runoff Voting Rule
|
Bachelor's Thesis |
Guillermo Rodriguez |
in progress |
2023 |
|
Formal Verification of the Split Cycle Voting Rule
|
Bachelor's Thesis |
Simon Liu |
in progress |
2023 |
|
Verified Efficient Implementation of Modular Voting Rules Using Stepwise Refinement in Isabelle/HOL
|
Master's Thesis |
Valentin Springsklee |
in progress |
2023 |
|
An Automated Approach to Generating Card-Based
Cryptographic Protocols
|
Bachelor's Thesis |
Anne Hoff |
in progress |
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 Non-Interference
|
Research Project
|
Marko Kleine Büning |
finished
|
2016 |
