Daniel Rausch

Daniel Rausch is a Researcher at the University of Stuttgart, affiliated with the Institute of Information Security. His work focuses on cryptographic protocols, particularly in electronic voting systems, universal composability, and accountable security frameworks.

Key research areas include Cryptography, Computer Security, and Formal Verification. Recent publications explore password-hardened encryption, zero-knowledge proofs, and tally-hiding mechanisms for e-voting.

Scientific contributions span:

• Provably secure password-hardened encryption with round-optimal schemes
• Accountable bulletin boards with UC security guarantees
• Zero-knowledge proofs for ballot validity in ElGamal-encrypted elections
• Publicly tally-hiding protocols preserving vote privacy
• UC-IITM model unification for composability frameworks

Collaborations include researchers like Ralf Küsters, Nicolas Huber, and Marvin Bechtold. Notable implementations include Fabric*BB for distributed ledger applications and Kryvos for verifiable elections.