Scholar
Dominique Unruh
Google Scholar ID: EROP4tsAAAAJ
University of Tartu
Quantum Cryptography
Post-Quantum Cryptography
Verification
Cryptography
#unitartucs
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
4,700
H-index
35
i10-index
65
Publications
20
Co-authors
27
list available
Publications
3 items
Quantum Weakest Preconditions Revisited: Pre-expectations for Expected Runtime Analysis
2026
Cited
0
Complex Bounded Operators in Isabelle/HOL
2025
Cited
0
Bayesian Inference in Quantum Programs
2025
Cited
0
Co-authors
10 total
Michael Backes
Chairman and Founding Director of the CISPA Helmholtz Center for Information Security
Andris Ambainis
Professor, University of Latvia
Matteo Maffei
Full Professor at TU Wien, Co-Director TU Wien Cybersecurity Center
Kathrin Hövelmanns
Eindhoven University of Technology
Andreas Haeberlen
University of Pennsylvania
Aharon Brodutch
IonQ
Or Sattath
Ben-Gurion University
Daniel Nagaj
Slovak Academy of Sciences
