World's Best Scientists 2026 revealed!
Dominique Unruh

Dominique Unruh

D-Index & Metrics

Computer Science

D-Index
32
Citations
3630
World Ranking
13271
National Ranking
7

Overview

Dominique Unruh is affiliated with the University of Tartu in Estonia and conducts research primarily in the field of computer science. Their work spans several subfields including artificial intelligence, computational theory and mathematics, computer networks and communications, computer vision and pattern recognition, and information systems.

The scientist's research topics focus mainly on cryptography and data security, logic, programming and type systems, cryptographic implementations and security, and quantum computing algorithms and architecture. Additional topical areas include chaos-based image and signal encryption, cryptography and residue arithmetic, as well as complexity and algorithms in graphs.

Dominique Unruh has published several papers, with notable examples including:

  • Local Variables and Quantum Relational Hoare Logic, 2020, arXiv (Cornell University)
  • Quantum Relational Hoare Logic with Expectations, 2021, Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • Quantum References, 2021, arXiv (Cornell University)
  • Complex Bounded Operators, 2021, Zenodo (CERN European Organization for Nuclear Research)
  • Everlasting UC Commitments from Fully Malicious PUFs, 2022, Journal of Cryptology

The venues in which Dominique Unruh frequently publishes include arXiv (Cornell University), Zenodo (CERN European Organization for Nuclear Research), Leibniz-Zentrum für Informatik (Schloss Dagstuhl), and the Journal of Cryptology.

Collaborations are an element of their research, with frequent coauthors being José Manuel Rodríguez Caballero, Kathrin Hövelmanns, Eike Kiltz, Sven Schäge, and Julien Duman.

Best Publications

  • Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol

    Michael Backes;Matteo Maffei;Dominique Unruh

  • Non-Interactive Zero-Knowledge Proofs in the Quantum Random Oracle Model

    Dominique Unruh

  • Post-Quantum Security of the Fujisaki-Okamoto and OAEP Transforms

    Ehsan Ebrahimi Targhi;Dominique Unruh

  • Quantum proofs of knowledge

    Dominique Unruh

  • Compromising Reflections-or-How to Read LCD Monitors around the Corner

    M. Backes;M. Durmuth;D. Unruh

  • Quantum Attacks on Classical Proof Systems: The Hardness of Quantum Rewinding

    Andris Ambainis;Ansis Rosmanis;Dominique Unruh

  • Revocable Quantum Timed-Release Encryption

    Dominique Unruh

  • Universally composable quantum multi-party computation

    Dominique Unruh

  • Computationally Binding Quantum Commitments

    Dominique Unruh

  • Quantum Security Proofs Using Semi-classical Oracles

    Andris Ambainis;Mike Hamburg;Dominique Unruh

  • Quantum relational Hoare logic

    Dominique Unruh

  • Random Oracles and Auxiliary Input.

    Dominique Unruh

  • Post-quantum Security of Fiat-Shamir

    Dominique Unruh

  • Quantum Position Verification in the Random Oracle Model

    Dominique Unruh

  • Computationally Sound Verification of Source Code.

    Michael Backes;Matteo Maffei;Dominique Unruh

  • Towards key-dependent message security in the standard model

    Dennis Hofheinz;Dominique Unruh

  • Everlasting Multi-party Computation

    Dominique Unruh

  • Simulatable security for quantum protocols

    Dominique Unruh

  • CoSP: A General Framework For Computational Soundness Proofs.

    Michael Backes;Dennis Hofheinz;Dominique Unruh

  • Generic Authenticated Key Exchange in the Quantum Random Oracle Model

    Kathrin Hövelmanns;Eike Kiltz;Sven Schäge;Dominique Unruh

  • Universally composable zero-knowledge arguments and commitments from signature cards

    Dennis Hofheinz;J. Müller-Quade;D. Unruh

  • Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers

    Michael Backes;Dominique Unruh

Frequent Co-Authors

Michael Backes
Michael Backes University of Oxford
Andris Ambainis
Andris Ambainis University of Latvia
Eike Kiltz
Eike Kiltz Ruhr University Bochum
Peter Druschel
Peter Druschel Max Planck Institute for Software Systems
Florian Kerschbaum
Florian Kerschbaum University of Waterloo
Andreas Haeberlen
Andreas Haeberlen University of Pennsylvania
Sanjam Garg
Sanjam Garg University of California, Berkeley
Michael Hicks
Michael Hicks University of Maryland, College Park
Gilles Barthe
Gilles Barthe Max Planck Institute for Security and Privacy

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

If you’re considering a degree in Computer Science in the USA, there are several related pathways to enhance your skills and boost your career prospects. One popular option is earning an online bachelor’s in electrical engineering. This degree complements computer science by deepening your understanding of hardware and electronics, expanding your job options in the tech sector.

For those looking for a quick entry or skill boost, there are easy certifications to get online that can lead to well-paying roles. These certifications often focus on practical, job-ready skills in areas such as IT, cybersecurity, and coding.

If you want to advance your education fast, you might explore the quickest cheapest masters degree programs. These allow you to specialize without a lengthy time commitment or high tuition costs, making them ideal for busy professionals.

Finally, consider pursuing one of the most useful masters degrees in high demand. Programs in data science, artificial intelligence, and software engineering are highly valued by employers and open doors to advanced careers.

Best Scientists Citing Dominique Unruh

Trending Scientists

Recently Published Articles