I’m an Associate Professor in the Cybersecurity Section at DTU Compute in Copenhagen, Denmark. My research focus is on (applied) secure computation as well as (lattice-based) zero knowledge protocols. Furthermore, I am interested into security for machine learning and secure protocol design using public ledgers.
Before starting on this position I have been an Assistant Professor and Postdoc at Aarhus University as well as a Postdoc at Bar Ilan University, Israel. I obtained my PhD in 2016 from Aarhus University.
- Cheater Identification on a Budget: MPC with Identifiable Abort from Pairwise MACs, with Nikolas Melissaris, Rahul Rachuri and Peter Scholl
- CaSCaDE: (Time-Based) Cryptography from Space Communications DElay, with Bernardo David, Elena Pagnin and Akira Takahashi
- Simple Amortized Proofs of Shortness for Linear Relations over Polynomial Rings, with Vadim Lyubashevsky
- SoK: Vector OLE-based Zero-Knowledge Protocols, with Samuel Dittmer, Peter Scholl and Xiao Wang. DCC 2023
- SoK: Privacy-Enhancing Technologies in Finance, with James Hsin-Yu Chiang, Bernardo David and Tore Frederiksen. AFT 2023
- Publicly Verifiable Zero-Knowledge and Post-Quantum Signatures From VOLE-in-the-Head, with Lennart Braun, Cyprien Delpech de Saint Guilhem, Michael Klooss, Emmanuela Orsini, Lawrence Roy and Peter Scholl. CRYPTO 2023
- Verifiable Mix-Nets and Distributed Decryption for Voting from Lattice-Based Assumptions, with Diego F. Aranha, Kristian Gjøsteen and Tjerand Silde. CCS 2023
- CRAFT: Composable Randomness and Almost Fairness from Time, with Bernardo David, Rafael Dowsley, Ravi Kishore, Sabine Oechsner and Jesper Buus Nielsen. PKC 2023
- EAGLE: Efficient Privacy Preserving Smart Contracts, with James Hsin-yu Chiang, Bernardo David and Tore Kasper Frederiksen. Financial Crypto 2023
- A Framework for Universally Composable Publicly Verifiable Cryptographic Protocols, with Bernardo David and Rafael Dowsley. ProvSec 2022
- MoZZarella: Efficient Vector-OLE and Zero-Knowledge proofs over Z2k, with Lennart Braun, Alexander Munch-Hansen and Peter Scholl. CRYPTO 2022
- FETA: Efficient Threshold Designated-Verifier Zero-Knowledge proofs, with Robin Jadoul and Emmanuela Orsini and Peter Scholl and Nigel P. Smart. ACM CCS 2022
- SoK: Mitigation of Front-running in Decentralized Finance, with James Hsin-yu Chiang, Bernardo David, Tore Kasper Frederiksen and Lorenzo Gentile. Financial Crypto DeFi Workshop 2022
- Appenzeller to Brie: Efficient Zero-Knowledge Proofs for Mixed-Mode Arithmetic and Z2k, with Lennart Braun, Alexander Munch-Hansen and Peter Scholl. ACM CCS 2021
- Mac’n’Cheese: Zero-Knowledge Proofs for Arithmetic Circuits with Nested Disjunctions, with Alex J. Malozemoff, Marc Rosen and Peter Scholl. CRYPTO 2021
- Fairness in the Eyes of the Data: Certifying Machine-Learning Models, with Shahar Segal, Yossi Adi, Benny Pinkas, Chaya Ganesh and Joseph Keshet. AAAI/ACM 2021 Conference on Artificial Intelligence, Ethics and Society. There also exists a poster which you can see here
- P2DEX: Privacy-Preserving Decentralized Currency Exchange, with Bernardo David and Tore Frederiksen. ACNS 2021
- Lattice-Based Proof of Shuffle and Applications to Electronic Voting, with Diego Aranha, Kristian Gjøsteen, Tjerand Silde and Thor Tunge. CT-RSA 2021
- Banquet: Short and Fast Signatures from AES, with Cyprien Delpech de Saint Guilhem and Daniel Kales and Emmanuela Orsini and Peter Scholl and Greg Zaverucha. PKC 2021
- A Foundation of Time-Lock Puzzles in UC, with Bernardo David, Rafael Dowsley, Sabine Oechsner and Jesper Buus Nielsen. Eurocrypt 2021
- Efficient Protocols for Oblivious Linear Function Evaluation from Ring-LWE, with Daniel Escudero, Alberto Pedrouzo-Ulloa, Peter Scholl and Juan Ramón Troncoso-Pastoriza, SCN 2020. An extended version of the paper has also been published in the Journal of Computer Security.
- Efficient Constant-Round MPC with Identifiable Abort and Public Verifiability, with Emmanuela Orsini, Peter Scholl and Eduardo Soria-Vazquez, CRYPTO 2020
- PESTO: Proactively Secure Distributed Single Sign-On, or How to Trust a Hacked Server, with Tore K. Frederiksen, Julia Hesse, Anja Lehmann and Avishay Yanai, EuroS&P 2020
- Concretely-Efficient Zero-Knowledge Arguments for Arithmetic Circuits and Their Application to Lattice-Based Cryptography, with Ariel Nof, PKC 2020
- Insured MPC: Efficient Secure Multiparty Computation with Punishable Abort, with Bernardo David and Rafael Dowsley, Financial Crypto 2020
- Using TopGear in Overdrive: A more efficient ZKPoK for SPDZ, with Daniele Cozzo and Nigel P. Smart, SAC 2019
- Towards Practical Lattice-Based One-Time Linkable Ring Signatures, with Huang Lin and Sabine Oechsner, ICICS 2018
- More Efficient Commitments from Structured Lattice Assumptions, with Ivan Damgård and Vadim Lyubashevsky and Sabine Oechsner and Chris Peikert, SCN 2018
- Turning Your Weakness Into a Strength: Watermarking Deep Neural Networks by Backdooring, with Yossi Adi and Moustapha Cisse and Joseph Keshet and Benny Pinkas, USENIX 2018.
- Sub-Linear Lattice-Based Zero-Knowledge Arguments for Arithmetic Circuits, with Jonathan Bootle and Andrea Cerulli and Rafael del Pino and Jens Groth and Vadim Lyubashevsky, CRYPTO 2018
- How to prove knowledge of small secrets, with Ivan Damgård and Kasper Green Larsen and Michael Nielsen, CRYPTO 2016
- Efficient Secure Multiparty Computation with Identifiable Abort, with Emmanuela Orsini and Peter Scholl, TCC-B 2016. A poster of this work can be found here
- On Garbling Schemes with and without Privacy, SCN 2016
- Better Preprocessing for Secure Multiparty Computation, with Ivan Damgård and Tomas Toft and Rasmus Lauritzen, ACNS 2016
- Publicly Auditable Secure Multiparty Computation, with Ivan Damgård and Claudio Orlandi, SCN 2014
Peer-reviewed work outside of Cryptography
- Studying the global spatial randomness of impact craters on Mercury, Venus, and the Moon with geodesic neighborhood relationships (together with my childhood friend Christian Riedel and others)
In Spring 2023 I was teaching in the Cryptography and Network Security courses at DTU.
In the Fall 2022 and 2023 I was teaching two full days about Privacy-Enhancing Technologies in the DTU Masters program for Cyber security, alongside my colleague Luisa Siniscalchi.
In the Spring 2021 term I was teaching Optimization and Complexity together with Kristoffer Arnsfelt Hansen.
In the Fall 2020 term I have been teaching some parts of the Cryptographic Computing course at AU alongside Claudio Orlandi and Peter Scholl. I have also been teaching this course in the Fall 2021.
Recently, my first PhD student Alexander Munch-Hansen graduated (co-supervised with Peter Scholl, Aarhus University). I’m now looking for new PhD students and a Postdoc!
I’m a coauthor of the FAEST digital signature scheme which has been submitted to the ongoing NIST Post Quantum competition.
I organized a Summer School on Privacy-Preserving Machine Learning together with Bernardo David from ITU Copenhagen in 2022. Click here for more information.
I’ve been a Program Committee member of ACNS 2017, CCS 2019 Workshop on Privacy-Preserving Machine Learning, CCS 2019 Workshop on Encrypted Computing & Applied Homomorphic Cryptography ,The AAAI-20 Workshop on Privacy-Preserving Artificial Intelligence 2020 and 2021, IEEE ICME, LatinCrypt 2021, CCS 2021, ACISP 2021, PKC 2022, ACNS 2022, CRYPTO 2022, AsiaCrypt 2022.
I gave a presentation about Secure Computation in Tel Aviv in 2018. Here is a link to the video.
My work is currently funded by the DARPA SIEVE program (project FROMAGER) and a Villum Young Investigator starting grant (Project QUID-PRO).
Previously, I received funding from Open Philanthropy (project SecureDNA).