Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dominique Unruh
conf.researchr.org general profile
ICFP 2022 profile
PLDI 2021 profile
POPL 2019 profile
POPL 2020 profile
POPL 2022 profile
POPL 2024 profile
POPL 2025 profile
Registered user since Mon 5 Nov 2018
Name:
Dominique Unruh
Affiliation:
University of Tartu
Contributions
2025
CPP
Author of Leakage-Free Probabilistic Jasmin Programs within the CPP 2025-track
Author of Formalizing the One-way to Hiding Theorem within the CPP 2025-track
2022
PLanQC
Author of Quantum relational Hoare logic, towards a formalization within the PLanQC-track
CPP
Author of Reflection, Rewinding, and Coin-Toss in EasyCrypt within the CPP 2022-track
2021
PLanQC
Author of Quantum and classical registers within the PLanQC 2021-track
Committee Member in Program Committee within the PLanQC 2021-track
2020
PLanQC
Session Chair of Formal Methods (part of PLanQC)
Committee Member in Program Committee within the PLanQC-track
2019
POPL
Author of Quantum Relational Hoare Logic within the Research Papers-track
Share
x
Mon 30 Dec 18:23
