Daniel Jost

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

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

Triple Ratchet: A Bandwidth Efficient Hybrid-Secure Signal Protocol.

Yevgeniy Dodis, Daniel Jost, Shuichi Katsumata, Thomas Prest, Rolfe Schmidt

Proceedings of the Advances in Cryptology - EUROCRYPT 2025, 2025

2024

Compact Key Storage in the Standard Model.

Yevgeniy Dodis, Daniel Jost

Proceedings of the Theory of Cryptography - 22nd International Conference, 2024

Compact Key Storage - A Modern Approach to Key Backup and Delegation.

Yevgeniy Dodis, Daniel Jost, Antonio Marcedone

Proceedings of the Advances in Cryptology - CRYPTO 2024, 2024

2023

End-to-End Encrypted Zoom Meetings: Proving Security and Strengthening Liveness.

Yevgeniy Dodis, Daniel Jost, Balachandar Kesavan, Antonio Marcedone

Proceedings of the Advances in Cryptology - EUROCRYPT 2023, 2023

ELEKTRA: Efficient Lightweight multi-dEvice Key TRAnsparency.

Julia Len, Melissa Chase, Esha Ghosh, Daniel Jost, Balachandar Kesavan, Antonio Marcedone

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

Forward-Secure Encryption with Fast Forwarding.

Yevgeniy Dodis, Daniel Jost, Harish Karthikeyan

Proceedings of the Theory of Cryptography - 20th International Conference, 2022

On the Insider Security of MLS.

Joël Alwen, Daniel Jost, Marta Mularczyk

Proceedings of the Advances in Cryptology - CRYPTO 2022, 2022

2021

Generalized Proofs of Knowledge with Fully Dynamic Setup.

Christian Badertscher, Daniel Jost, Ueli Maurer

Proceedings of the Theory of Cryptography - 19th International Conference, 2021

2020

On Generalizations of Composable Security.

Daniel Jost

PhD thesis, 2020

Continuous Group Key Agreement with Active Security.

Joël Alwen, Sandro Coretti, Daniel Jost, Marta Mularczyk

Proceedings of the Theory of Cryptography - 18th International Conference, 2020

Overcoming Impossibility Results in Composable Security Using Interval-Wise Guarantees.

Daniel Jost, Ueli Maurer

Proceedings of the Advances in Cryptology - CRYPTO 2020, 2020

2019

Agree-and-Prove: Generalized Proofs Of Knowledge and Applications.

Christian Badertscher, Daniel Jost, Ueli Maurer

IACR Cryptol. ePrint Arch., 2019

A Unified and Composable Take on Ratcheting.

Daniel Jost, Ueli Maurer, Marta Mularczyk

Proceedings of the Theory of Cryptography - 17th International Conference, 2019

Efficient Ratcheting: Almost-Optimal Guarantees for Secure Messaging.

Daniel Jost, Ueli Maurer, Marta Mularczyk

Proceedings of the Advances in Cryptology - EUROCRYPT 2019, 2019

2018

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

Daniel Jost, Christian Badertscher, Fabio Banfi

IACR Cryptol. ePrint Arch., 2018

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

Daniel Jost, Ueli Maurer, João L. Ribeiro

Proceedings of the Theory of Cryptography - 16th International Conference, 2018

Security Definitions for Hash Functions: Combining UCE and Indifferentiability.

Daniel Jost, Ueli Maurer

Proceedings of the Security and Cryptography for Networks - 11th International Conference, 2018

2017

Context-Restricted Indifferentiability: Generalizing UCE and Implications on the Soundness of Hash-Function Constructions.

Daniel Jost, Ueli Maurer

IACR Cryptol. ePrint Arch., 2017

2013

An Automatic Encoding from VeriFast Predicates into Implicit Dynamic Frames.

Daniel Jost, Alexander J. Summers

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013