We stand with Ukraine  

Daniel Jost

Orcid: 0000-0002-6562-9665

Affiliations:
  • New York University, New York, NY, USA
  • ETH Zurich, Switzerland (former)


According to our database1, Daniel Jost authored at least 19 papers between 2013 and 2025.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Triple Ratchet: A Bandwidth Efficient Hybrid-Secure Signal Protocol.
[BibTeX]
[DOI]
Yevgeniy Dodis
,
Daniel Jost
,
Shuichi Katsumata
,
Thomas Prest
,
Rolfe Schmidt
IACR Cryptol. ePrint Arch., 2025

2024
ELEKTRA: Efficient Lightweight multi-dEvice Key TRAnsparency.
[BibTeX]
[DOI]
Julia Len
,
Melissa Chase
,
Esha Ghosh
,
Daniel Jost
,
Balachandar Kesavan
,
Antonio Marcedone
IACR Cryptol. ePrint Arch., 2024

Compact Key Storage: A Modern Approach to Key Backup and Delegation.
[BibTeX]
[DOI]
Yevgeniy Dodis
,
Daniel Jost
,
Antonio Marcedone
IACR Cryptol. ePrint Arch., 2024

Compact Key Storage in the Standard Model.
[BibTeX]
[DOI]
Yevgeniy Dodis
,
Daniel Jost
IACR Cryptol. ePrint Arch., 2024

2023
End-to-End Encrypted Zoom Meetings: Proving Security and Strengthening Liveness.
[BibTeX]
[DOI]
Yevgeniy Dodis
,
Daniel Jost
,
Balachandar Kesavan
,
Antonio Marcedone
IACR Cryptol. ePrint Arch., 2023

2022
Forward-Secure Encryption with Fast Forwarding.
[BibTeX]
[DOI]
Yevgeniy Dodis
,
Daniel Jost
,
Harish Karthikeyan
IACR Cryptol. ePrint Arch., 2022

2021
Generalized Proofs of Knowledge with Fully Dynamic Setup.
[BibTeX]
[DOI]
Christian Badertscher
,
Daniel Jost
,
Ueli Maurer
Proceedings of the Theory of Cryptography - 19th International Conference, 2021

2020
On Generalizations of Composable Security.
[BibTeX]
[DOI]
Daniel Jost
PhD thesis, 2020

Overcoming Impossibility Results in Composable Security using Interval-Wise Guarantees.
[BibTeX]
[DOI]
Daniel Jost
,
Ueli Maurer
IACR Cryptol. ePrint Arch., 2020

On The Insider Security of MLS.
[BibTeX]
[DOI]
Joël Alwen
,
Daniel Jost
,
Marta Mularczyk
IACR Cryptol. ePrint Arch., 2020

Continuous Group Key Agreement with Active Security.
[BibTeX]
[DOI]
Joël Alwen
,
Sandro Coretti
,
Daniel Jost
,
Marta Mularczyk
IACR Cryptol. ePrint Arch., 2020

2019
A Unified and Composable Take on Ratcheting.
[BibTeX]
[DOI]
Daniel Jost
,
Ueli Maurer
,
Marta Mularczyk
IACR Cryptol. ePrint Arch., 2019

Agree-and-Prove: Generalized Proofs Of Knowledge and Applications.
[BibTeX]
[DOI]
Christian Badertscher
,
Daniel Jost
,
Ueli Maurer
IACR Cryptol. ePrint Arch., 2019

2018
Efficient Ratcheting: Almost-Optimal Guarantees for Secure Messaging.
[BibTeX]
[DOI]
Daniel Jost
,
Ueli Maurer
,
Marta Mularczyk
IACR Cryptol. ePrint Arch., 2018

A note on the equivalence of IND-CCA & INT-PTXT and IND-CCA & INT-CTXT.
[BibTeX]
[DOI]
Daniel Jost
,
Christian Badertscher
,
Fabio Banfi
IACR Cryptol. ePrint Arch., 2018

Security Definitions for Hash Functions: Combining UCE and Indifferentiability.
[BibTeX]
[DOI]
Daniel Jost
,
Ueli Maurer
Proceedings of the Security and Cryptography for Networks - 11th International Conference, 2018

2017
Information-Theoretic Secret-Key Agreement: The Asymptotically Tight Relation Between the Secret-Key Rate and the Channel Quality Ratio.
[BibTeX]
[DOI]
Daniel Jost
,
Ueli Maurer
,
João L. Ribeiro
IACR Cryptol. ePrint Arch., 2017

Context-Restricted Indifferentiability: Generalizing UCE and Implications on the Soundness of Hash-Function Constructions.
[BibTeX]
[DOI]
Daniel Jost
,
Ueli Maurer
IACR Cryptol. ePrint Arch., 2017

2013
An Automatic Encoding from VeriFast Predicates into Implicit Dynamic Frames.
[BibTeX]
[DOI]
Daniel Jost
,
Alexander J. Summers
Proceedings of the Verified Software: Theories, Tools, Experiments, 2013


  Loading...