Dominique Unruh
Professor of Information Security
Institute of Computer Science
University of Tartu
Office:
Room 310, Ülikooli 17 (Paabel)
Mail:
<surname> at ut dot ee
For more options, see
my contact page
.
Office Hours
Tuesdays, 14:30-15:30, room 3088, Delta
Exception will be announced here, so check before coming
Canceled until further notice
Open Positions
See
here
for open positions.
Recent Publications
Unruh,
Towards compressed permutation oracles
, technical report
Firsov, Unruh,
Zero-Knowledge in EasyCrypt
,
CSF 2023
Duman, Hövelmanns, Kiltz, Lyubashevsky, Seiler, Unruh,
A Thorough Treatment of Highly-Efficient NTRU Instantiations
,
PKC 2023
Firsov, Unruh,
Reflection, Rewinding, and Coin-Toss in EasyCrypt
,
CPP 2022
Carstens, Ebrahimi, Tabia, Unruh,
Relationships between quantum IND-CPA notions
,
TCC 2021
Unruh,
Quantum and classical registers
,
PlanQC 2021
Li
, Unruh,
Quantum Relational Hoare Logic with Expectations
,
ICALP 2021
Magri, Malavolta, Schröder, Unruh,
Everlasting UC Commitments from Fully Malicious PUFs
, technical report
Unruh,
Post-Quantum Verification of Fujisaki-Okamoto
,
Asiacrypt 2020
Fang, Unruh, Weng, Yan, Zhou,
How to Base Security on the Perfect/Statistical Binding Property of Quantum Bit Commitment?
, technical report
Complete list of publications
Professional Activities
For teaching activities, see
my group's webpage
.
Unless mentioned differently, I was a program committee member.
CSF 2019
, 32nd IEEE Computer Security Foundations Symposium, Hoboken, NJ, USA.
Chair of special session for computer-aided cryptography
Eurocrypt 2018
, 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel-Aviv, Israel
QCrypt 2017
, 7th International Conference on Quantum Cryptography, Cambridge, UK
Asiacrypt 2017
, 23rd Annual International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China
Crypto 2017
, 36th International Cryptology Conference, Santa Barbara, US
Asiacrypt 2016
, 22nd Annual International Conference on the Theory and Applications of Cryptology and Information Security, Hanoi, Vietnam
CT-RSA 2016
, RSA Conference Cryptographers' Track, San Francisco, US
ICALP 2016
, 42nd International Colloquium on Automata, Languages, and Programming (Track A), Rome, Italy
Eurocrypt 2016
, 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria
Asiacrypt 2015
, 21st Annual International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand
QCrypt 2015
, 5th International Conference on Quantum Cryptography, Tokyo, Japan
CT-RSA 2015
, RSA Conference Cryptographers' Track
Dagstuhl Seminar 14492
, The synergy between programming languages and cryptography, Dagstuhl, Germany.
Organizer
FCC-FCS 2014
, Joint Workshop on Foundations of Computer Security and Formal and Computational Cryptography, Vienna, Austria
Eurocrypt 2014
, 33rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Copenhagen, Denmark
PKC 2014
, 17th IACR International Conference on Practice and Theory of Public-Key Cryptography, Buenos Aires, Argentina
FCC 2013
, 9th Workshop on Formal Computational Cryptography, New Orleans, US
HotSpot 2013
, 1st Workshop on Hot Issues in Security Principles and Trust, Rome, Italy
POST 2013
, 2nd Conference on Principles of Security and Trust, Rome, Italy
Indocrypt 2012
, 13th International Conference on Cryptology in India, Kolkata, India
SCN 2012
, 8th Security and Cryptography for Networks Conference, Amalfi, Italy
CSF 2012
, 24th Computer Security Foundations Symposium, Cambridge, US
CRYPTO 2012
, 32st Annual International Cryptology Conference, Santa Barbara, California
Nordsec 2012
, 17th Nordic Conference on Secure IT Systems,
Karlskrona, Sweden
FCC 2012
, 8th Workshop on Formal Computational Cryptography, Cambridge, US
FCC 2011
, 7th Workshop on Formal Computational Cryptography, Paris, France.
Program chair
CSF 2011
, 24th Computer Security Foundations Symposium, Abbaye de Vaux de Cernay, France
TCC 2011
, 8th Theory of Cryptography Conference, Providence, Rhode Island
ICITS 2011
, 5th International Conference on Information Theoretic Security, Amsterdam, Netherlands
FCC 2010
, 6th workshop on Formal Computational Cryptography, Edinburgh, UK
ESORICS 2009
, 13th European Symposium on Research in Computer Security, Saint Malo, France
FMSE 2008
, 6th ACM Workshop on Formal Methods in Security Engeneering, Alexandria, Virginia
ISC 2008
,
11th Information Security Conference, Taipei, Taiwan
ICALP 2008
,
35th International Colloquium on Automata, Languages and Programming (Track C), Reykjavík, Iceland
ISC 2007
, 10th Information Security Conference, Valparaíso, Chile
SECRYPT 2007
, International Conference on Security and Cryptography, Barcelona, Spain