Knowledge Tree

researcher / Jannik Dreier

Jannik Dreier

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Formal Verification of Voting and Auction Protocols : From Privacy to Fairness and Verifiability