Dominique Unruh is the head of the Chair for Quantum Information Systems. They are also professor for cryptography at the Institute of Computer Science at the University of Tartu.
Contact
See here.
Research
Their research focus covers various areas related to quantum computing, especially:
- Quantum programs / semantics / logics
- Quantum and post-quantum cryptography
- Formal verification
Publications
Most recent publications:
- Bacelar Almeida, Firsov, Oliveira, Unruh. Leakage-Free Probabilistic Jasmin Programs (report, 2023) [more info | eprint]
- Firsov, Unruh. Zero-Knowledge in EasyCrypt (CSF 2023) [more info | eprint]
- Bacelar Almeida, Firsov, Oliveira, Unruh. Schnorr protocol in Jasmin (report, 2023) [more info | eprint]
- Unruh. Towards compressed permutation oracles (Asiacrypt 2023) [more info | eprint | official]
- Duman, Hövelmanns, Kiltz, Lyubashevsky, Seiler, Unruh. A Thorough Treatment of Highly-Efficient NTRU Instantiations (PKC 2023) [more info | eprint]
- Yan, Unruh, Fang, Zhou. How to Base Security on the Perfect/Statistical Binding Property of Quantum Bit Commitment? (ISAAC 2022) [more info | eprint | official]
Teaching
See the main page of the chair.