An Automatic Encoding from VeriFast Predicates into Implicit Dynamic Frames. - Daniel Jost 001; Alexander J. Summers (VSTTE, 2013)

Context-Restricted Indifferentiability: Generalizing UCE and Implications on the Soundness of Hash-Function Constructions. - Daniel Jost 001; Ueli Maurer (IACR Cryptol. ePrint Arch., 2017)

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

Security Definitions for Hash Functions: Combining UCE and Indifferentiability. - Daniel Jost 001; Ueli Maurer (SCN, 2018)

A note on the equivalence of IND-CCA & INT-PTXT and IND-CCA & INT-CTXT. - Daniel Jost 001; Christian Badertscher; Fabio Banfi (IACR Cryptol. ePrint Arch., 2018)

Efficient Ratcheting: Almost-Optimal Guarantees for Secure Messaging. - Daniel Jost 001; Ueli Maurer; Marta Mularczyk (IACR Cryptol. ePrint Arch., 2018)

Agree-and-Prove: Generalized Proofs Of Knowledge and Applications. - Christian Badertscher; Daniel Jost 001; Ueli Maurer (IACR Cryptol. ePrint Arch., 2019)

A Unified and Composable Take on Ratcheting. - Daniel Jost 001; Ueli Maurer; Marta Mularczyk (IACR Cryptol. ePrint Arch., 2019)

Continuous Group Key Agreement with Active Security. - Joël Alwen; Sandro Coretti; Daniel Jost 001; Marta Mularczyk (IACR Cryptol. ePrint Arch., 2020)

On The Insider Security of MLS. - Joël Alwen; Daniel Jost 001; Marta Mularczyk (IACR Cryptol. ePrint Arch., 2020)

Overcoming Impossibility Results in Composable Security using Interval-Wise Guarantees. - Daniel Jost 001; Ueli Maurer (IACR Cryptol. ePrint Arch., 2020)

On Generalizations of Composable Security. - Daniel Jost 001 (2020)

Generalized Proofs of Knowledge with Fully Dynamic Setup. - Christian Badertscher; Daniel Jost 001; Ueli Maurer (TCC (1), 2021)

Forward-Secure Encryption with Fast Forwarding. - Yevgeniy Dodis; Daniel Jost 001; Harish Karthikeyan (IACR Cryptol. ePrint Arch., 2022)

End-to-End Encrypted Zoom Meetings: Proving Security and Strengthening Liveness. - Yevgeniy Dodis; Daniel Jost 001; Balachandar Kesavan; Antonio Marcedone (IACR Cryptol. ePrint Arch., 2023)

Compact Key Storage in the Standard Model. - Yevgeniy Dodis; Daniel Jost 001 (IACR Cryptol. ePrint Arch., 2024)

Compact Key Storage: A Modern Approach to Key Backup and Delegation. - Yevgeniy Dodis; Daniel Jost 001; Antonio Marcedone (IACR Cryptol. ePrint Arch., 2024)

ELEKTRA: Efficient Lightweight multi-dEvice Key TRAnsparency. - Julia Len; Melissa Chase; Esha Ghosh; Daniel Jost 001; Balachandar Kesavan; Antonio Marcedone (IACR Cryptol. ePrint Arch., 2024)

Triple Ratchet: A Bandwidth Efficient Hybrid-Secure Signal Protocol. - Yevgeniy Dodis; Daniel Jost 001; Shuichi Katsumata; Thomas Prest; Rolfe Schmidt (IACR Cryptol. ePrint Arch., 2025)