About

I am a postdoctoral scholar at the New York University, working with Prof. Yevgeniy Dodis in the Cryptography Lab. Before joining NYU, I completed my PhD in the Cryptography and Information Security Research Group at ETH Zürich, Switzerland, under the supervision of Prof. Ueli Maurer. I hold a bachelor's and master's degree in computer science from ETH Zürich.

I am interested in a broad spectrum of the field of cryptography, ranging from the foundational theoretical aspects of cryptography to the design and analysis of practical protocols. In particular, my research interests encompass the following topics:

For a complete CV or general inquiries, do not hesitate to contact me.

Publications

Conference Papers

Forward-Secure Encryption with Fast Forwarding

Yevgeniy Dodis, Daniel Jost, and Harish Karthikeyan
Theory of Cryptography (TCC) 2022

On the Insider Security of MLS

Joël Alwen, Daniel Jost, and Marta Mularczyk
Advances in Cryptology – CRYPTO 2022

Generalized Proofs of Knowledge with Fully Dynamic Setup

Christian Badertscher, Daniel Jost, and Ueli Maurer
Theory of Cryptography (TCC) 2021

Continuous Group Key Agreement with Active Security

Joël Alwen, Sandro Coretti, Daniel Jost, and Marta Mularczyk
Theory of Cryptography (TCC) 2020

Overcoming Impossibility Results in Composable Security using Interval-Wise Guarantees

Daniel Jost and Ueli Maurer
Advances in Cryptology – CRYPTO 2020

A Unified and Composable Take on Ratcheting

Daniel Jost, Ueli Maurer, and Marta Mularczyk
Theory of Cryptography (TCC) 2019

Efficient Ratcheting: Almost-Optimal Guarantees for Secure Messaging

Daniel Jost, Ueli Maurer, and Marta Mularczyk
Advances in Cryptology – EUROCRYPT 2019

Information-Theoretic Secret-Key Agreement: The Asymptotically Tight Relation Between the Secret-Key Rate and the Channel Quality Ratio

Daniel Jost, Ueli Maurer, and João L. Ribeiro
Theory of Cryptography (TCC) 2018

Security Definitions For Hash Functions: Combining UCE and Indifferentiability

Daniel Jost and Ueli Maurer
Security and Cryptography for Networks (SCN) 2018

An Automatic Encoding from VeriFast Predicates into Implicit Dynamic Frames

Daniel Jost and Alexander J. Summers
Verified Software: Theories, Tools, Experiments (VSTTE) 2013

PhD Thesis

On Generalizations of Composable Security

Daniel Jost
ETH Zürich, 2020

Manuscripts

A note on the equivalence of IND-CCA & INT-PTXT and IND-CCA & INT-CTXT

Daniel Jost, Christian Badertscher, and Fabio Banfi
Manuscript, 2018

Contact information

Department of Computer Science
New York University
251 Mercer St.
New York, NY 10012