4
program roles
15
collaborators
2011–2023
years active
Contributions
QIP QCrypt TQC talk poster presenter award · △program ◇steering ○organizing · filled = chair
9 Talks
| Title | Conference | Type | Co-authors |
|---|---|---|---|
| Quantum Position-Verification in the Plane | QCRYPT 2018 | regular ▸ presenter | Serge Fehr |
| Post-Quantum Security of Fiat-Shamir | QCRYPT 2017 | regular ▸ presenter | — |
| Post-quantum security of the sponge construction | QCRYPT 2017 | regular | Jan Czajkowski, Leon Groot Bruinderink, Andreas Hülsing, Christian Schaffner |
| Verification in Quantum Cryptography | QCRYPT 2016 | invited ▸ presenter | — |
| Non-interactive zero-knowledge proofs in the quantum random oracle model | QCRYPT 2015 | regular ▸ presenter | — |
| Computationally binding quantum commitments | QCRYPT 2015 | regular ▸ presenter | — |
| Quantum Attacks on Classical Proof Systems – The Hardness of Quantum Rewinding | QCRYPT 2014 | regular ▸ presenter | Andris Ambainis, Ansis Rosmanis |
| Quantum position verification in the random oracle model | QCRYPT 2014 | regular ▸ presenter | — |
| Composition in Quantum Cryptography | QCRYPT 2011 | invited ▸ presenter | — |
7 Posters
| Title | Conference | Co-authors |
|---|---|---|
| Post-Quantum Verification of Fujisaki-Okamoto | QCRYPT 2020 | — |
We present a computer-verified formalization of the post-quantum security proof of the Fujisaki-Okamoto transform (as analyzed by Hövelmanns, Kiltz, Schäge, and Unruh, PKC 2020). The formalization is done in quantum relational Hoare logic and checked in the qrhl-tool (Unruh, POPL 2019). |
||
| On Quantum Indifferentiability | QCRYPT 2018 | Ehsan Ebrahimi, Tore Vincent Carstens, Gelo Noel Tabia |
| Quantum Security of the Fiat-Shamir Transform | QCRYPT 2016 | — |
| Collapse-binding Commitments in the Standard Model | QCRYPT 2016 | — |
| Quantum security of the Fujisaki-Okamoto transform | QCRYPT 2015 | Ehsan Ebrahimi Targhi |
| Quantum collision-resistance of non-uniformly distributed functions | QCRYPT 2015 | Ehsan Ebrahimi Targhi, Gelo Tabia |
| Bombs do not have to explode, forgers can get away scot-free (an adaptive attack on Wiesner's quantum money) | QIP 2015 | Aharon Brodutch, Daniel Nagaj, Or Sattath |
Committee service
| Conference | Committee | Position | Title |
|---|---|---|---|
| QCRYPT 2023 | program | member | — |
| QCRYPT 2020 | program | member | — |
| QCRYPT 2017 | program | member | — |
| QCRYPT 2015 | program | member | — |
Collaborators
| Co-author | Joint talks |
|---|---|
| Ehsan Ebrahimi Targhi | 2 |
| Aharon Brodutch | 1 |
| Andreas Hülsing | 1 |
| Andris Ambainis | 1 |
| Ansis Rosmanis | 1 |
| Christian Schaffner | 1 |
| Daniel Nagaj | 1 |
| Ehsan Ebrahimi | 1 |
| Gelo Noel Tabia | 1 |
| Gelo Tabia | 1 |
| Jan Czajkowski | 1 |
| Leon Groot Bruinderink | 1 |
| Or Sattath | 1 |
| Serge Fehr | 1 |
| Tore Vincent Carstens | 1 |