Daniel Jost

According to our database, Daniel Jost authored at least 16 papers between 2013 and 2024.

Collaborative distances:

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

2024

ELEKTRA: Efficient Lightweight multi-dEvice Key TRAnsparency.

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

IACR Cryptol. ePrint Arch., 2024

2023

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

Yevgeniy Dodis, Daniel Jost, Balachandar Kesavan, Antonio Marcedone

IACR Cryptol. ePrint Arch., 2023

2022

Forward-Secure Encryption with Fast Forwarding.

Yevgeniy Dodis, Daniel Jost, Harish Karthikeyan

IACR Cryptol. ePrint Arch., 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

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

Daniel Jost, Ueli Maurer

IACR Cryptol. ePrint Arch., 2020

On The Insider Security of MLS.

Joël Alwen, Daniel Jost, Marta Mularczyk

IACR Cryptol. ePrint Arch., 2020

Continuous Group Key Agreement with Active Security.

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

IACR Cryptol. ePrint Arch., 2020

2019

A Unified and Composable Take on Ratcheting.

Daniel Jost, Ueli Maurer, Marta Mularczyk

IACR Cryptol. ePrint Arch., 2019

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

Christian Badertscher, Daniel Jost, Ueli Maurer

IACR Cryptol. ePrint Arch., 2019

2018

Efficient Ratcheting: Almost-Optimal Guarantees for Secure Messaging.

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.

Daniel Jost, Christian Badertscher, Fabio Banfi

IACR Cryptol. ePrint Arch., 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

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

IACR Cryptol. ePrint Arch., 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