Perpetual Encryption.

Daniel Jost 0001 New York University, New York, NY, USA ETH Zurich, Switzerland https://www.danieljost.ch/ https://crypto.ethz.ch/~jost/ https://scholar.google.com/citations?user=Rb5UizIAAAAJ https://orcid.org/0000-0002-6562-9665 https://www.wikidata.org/entity/Q130885608 Daniel Jost Daniel Jost 0002 Universiy Grenoble Alpes, France Ecole Normale Supérieure de Lyon, France https://orcid.org/0000-0002-9877-6864 https://www.wikidata.org/entity/Q39865867 https://www.researcherid.com/rid/M-5988-2014 https://publons.com/researcher/2477757 Daniel Jost 0003 Paris Fire Brigade, France https://orcid.org/0000-0002-6046-1234 https://www.wikidata.org/entity/Q40356378 Daniel Jost 0004 Karlsruhe Institute of Technologie, Germany Daniel Jost 0005 University of Freiburg, Department of Computer Science, Germany Yevgeniy Dodis Daniel Jost 0001 Perpetual Encryption. PKC (4) 2026 37-66 conf/pkc/2026-4 https://doi.org/10.1007/978-3-032-26740-5_2 db/conf/pkc/pkc2026-4.html#DodisJ26 streams/conf/pkc Yevgeniy Dodis Daniel Jost 0001 Shuichi Katsumata Thomas Prest Rolfe Schmidt Triple Ratchet: A Bandwidth Efficient Hybrid-Secure Signal Protocol. 302-331 2025 EUROCRYPT (8) https://doi.org/10.1007/978-3-031-91101-9_11 conf/eurocrypt/2025-8 db/conf/eurocrypt/eurocrypt2025-8.html#DodisJKPS25 streams/conf/eurocrypt Benedikt Auerbach Yevgeniy Dodis Daniel Jost 0001 Shuichi Katsumata Rolfe Schmidt How to Compare Bandwidth Constrained Two-Party Secure Messaging Protocols: A Quest for A More Efficient and Secure Post-Quantum Protocol. 6717-6736 2025 USENIX Security Symposium https://www.usenix.org/conference/usenixsecurity25/presentation/auerbach conf/uss/2025 db/conf/uss/uss2025.html#AuerbachD0KS25 Rolfe Schmidt Shuichi Katsumata Daniel Jost 0001 Yevgeniy Dodis Benedikt Auerbach Artifact - How to Compare Bandwidth Constrained Two-Party Secure Messaging Protocols: A Quest for A More Efficient and Secure Post-Quantum Protocol. 2025 June https://doi.org/10.5281/zenodo.15571277 Zenodo streams/repo/zenodo

Yevgeniy Dodis Daniel Jost 0001 Shuichi Katsumata Thomas Prest Rolfe Schmidt Triple Ratchet: A Bandwidth Efficient Hybrid-Secure Signal Protocol. 78 2025 2025 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2025/078 db/journals/iacr/iacr2025.html#DodisJKPS25 streams/journals/iacr

Benedikt Auerbach Yevgeniy Dodis Daniel Jost 0001 Shuichi Katsumata Rolfe Schmidt How to Compare Bandwidth Constrained Two-Party Secure Messaging Protocols: A Quest for A More Efficient and Secure Post-Quantum Protocol. 2267 2025 2025 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2025/2267 db/journals/iacr/iacr2025.html#AuerbachDJKS25 streams/journals/iacr

Yevgeniy Dodis Daniel Jost 0001 Antonio Marcedone Compact Key Storage - A Modern Approach to Key Backup and Delegation. 75-109 2024 CRYPTO (2) https://doi.org/10.1007/978-3-031-68379-4_3 conf/crypto/2024-2 db/conf/crypto/crypto2024-2.html#DodisJM24 streams/conf/crypto Yevgeniy Dodis Daniel Jost 0001 Compact Key Storage in the Standard Model. 444-475 2024 TCC (1) https://doi.org/10.1007/978-3-031-78011-0_15 conf/tcc/2024-1 db/conf/tcc/tcc2024-1.html#DodisJ24 streams/conf/tcc

Julia Len Melissa Chase Esha Ghosh Daniel Jost 0001 Balachandar Kesavan Antonio Marcedone ELEKTRA: Efficient Lightweight multi-dEvice Key TRAnsparency. 107 2024 2024 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2024/107 db/journals/iacr/iacr2024.html#LenCGJKM24

Yevgeniy Dodis Daniel Jost 0001 Antonio Marcedone Compact Key Storage: A Modern Approach to Key Backup and Delegation. 914 2024 2024 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2024/914 db/journals/iacr/iacr2024.html#DodisJM24

Yevgeniy Dodis Daniel Jost 0001 Compact Key Storage in the Standard Model. 2100 2024 2024 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2024/2100 db/journals/iacr/iacr2024.html#DodisJ24 streams/journals/iacr

Julia Len Melissa Chase Esha Ghosh Daniel Jost 0001 Balachandar Kesavan Antonio Marcedone ELEKTRA: Efficient Lightweight multi-dEvice Key TRAnsparency. 2915-2929 2023 CCS https://doi.org/10.1145/3576915.3623161 https://www.wikidata.org/entity/Q130885611 conf/ccs/2023 db/conf/ccs/ccs2023.html#LenCG0KM23 Yevgeniy Dodis Daniel Jost 0001 Balachandar Kesavan Antonio Marcedone End-to-End Encrypted Zoom Meetings: Proving Security and Strengthening Liveness. 157-189 2023 EUROCRYPT (5) https://doi.org/10.1007/978-3-031-30589-4_6 conf/eurocrypt/2023-5 db/conf/eurocrypt/eurocrypt2023-5.html#DodisJKM23

Yevgeniy Dodis Daniel Jost 0001 Balachandar Kesavan Antonio Marcedone End-to-End Encrypted Zoom Meetings: Proving Security and Strengthening Liveness. 1829 2023 2023 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2023/1829 db/journals/iacr/iacr2023.html#DodisJKM23

Joël Alwen Daniel Jost 0001 Marta Mularczyk On the Insider Security of MLS. 34-68 2022 CRYPTO (2) https://doi.org/10.1007/978-3-031-15979-4_2 conf/crypto/2022-2 db/conf/crypto/crypto2022-2.html#AlwenJM22 Yevgeniy Dodis Daniel Jost 0001 Harish Karthikeyan Forward-Secure Encryption with Fast Forwarding. 3-32 2022 TCC (2) https://doi.org/10.1007/978-3-031-22365-5_1 conf/tcc/2022-2 db/conf/tcc/tcc2022-2.html#DodisJK22

Yevgeniy Dodis Daniel Jost 0001 Harish Karthikeyan Forward-Secure Encryption with Fast Forwarding. 1233 2022 2022 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2022/1233 db/journals/iacr/iacr2022.html#DodisJK22

Christian Badertscher Daniel Jost 0001 Ueli Maurer Generalized Proofs of Knowledge with Fully Dynamic Setup. 499-528 2021 TCC (1) https://doi.org/10.1007/978-3-030-90459-3_17 conf/tcc/2021-1 db/conf/tcc/tcc2021-1.html#BadertscherJM21 Daniel Jost 0001 On Generalizations of Composable Security. 2020 ETH Zurich, Zürich, Switzerland https://hdl.handle.net/20.500.11850/417544 https://doi.org/10.3929/ethz-b-000417544 https://www.base-search.net/Record/2855043644e006651ca0da1816c6633e2dcc0ab468ca8022f03485a833fd90d1 base-search.net (ftethz:oai:www.research-collection.ethz.ch:20.500.11850/417544) Daniel Jost 0001 Ueli Maurer Overcoming Impossibility Results in Composable Security Using Interval-Wise Guarantees. 33-62 2020 CRYPTO (1) https://doi.org/10.1007/978-3-030-56784-2_2 conf/crypto/2020-1 db/conf/crypto/crypto2020-1.html#0001M20 Joël Alwen Sandro Coretti Daniel Jost 0001 Marta Mularczyk Continuous Group Key Agreement with Active Security. 261-290 2020 TCC (2) https://doi.org/10.1007/978-3-030-64378-2_10 conf/tcc/2020-2 db/conf/tcc/tcc2020-2.html#AlwenC0M20

Daniel Jost 0001 Ueli Maurer Overcoming Impossibility Results in Composable Security using Interval-Wise Guarantees. 92 2020 2020 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2020/092 db/journals/iacr/iacr2020.html#JostM20

Joël Alwen Sandro Coretti Daniel Jost 0001 Marta Mularczyk Continuous Group Key Agreement with Active Security. 752 2020 2020 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2020/752 db/journals/iacr/iacr2020.html#AlwenCJM20

Joël Alwen Daniel Jost 0001 Marta Mularczyk On The Insider Security of MLS. 1327 2020 2020 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2020/1327 db/journals/iacr/iacr2020.html#AlwenJM20

Daniel Jost 0001 Ueli Maurer Marta Mularczyk Efficient Ratcheting: Almost-Optimal Guarantees for Secure Messaging. 159-188 2019 EUROCRYPT (1) https://doi.org/10.1007/978-3-030-17653-2_6 conf/eurocrypt/2019-1 db/conf/eurocrypt/eurocrypt2019-1.html#JostMM19 Daniel Jost 0001 Ueli Maurer Marta Mularczyk A Unified and Composable Take on Ratcheting. 180-210 2019 TCC (2) https://doi.org/10.1007/978-3-030-36033-7_7 conf/tcc/2019-2 db/conf/tcc/tcc2019-2.html#JostMM19

Christian Badertscher Daniel Jost 0001 Ueli Maurer Agree-and-Prove: Generalized Proofs Of Knowledge and Applications. 662 2019 2019 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2019/662 db/journals/iacr/iacr2019.html#BadertscherJM19

Daniel Jost 0001 Ueli Maurer Marta Mularczyk A Unified and Composable Take on Ratcheting. 694 2019 2019 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2019/694 db/journals/iacr/iacr2019.html#JostMM19

Daniel Jost 0001 Ueli Maurer Security Definitions for Hash Functions: Combining UCE and Indifferentiability. 83-101 2018 SCN https://doi.org/10.1007/978-3-319-98113-0_5 conf/scn/2018 db/conf/scn/scn2018.html#JostM18 Daniel Jost 0001 Ueli Maurer João L. Ribeiro 0001 Information-Theoretic Secret-Key Agreement: The Asymptotically Tight Relation Between the Secret-Key Rate and the Channel Quality Ratio. 345-369 2018 TCC (1) https://doi.org/10.1007/978-3-030-03807-6_13 conf/tcc/2018-1 db/conf/tcc/tcc2018-1.html#JostMR18

Daniel Jost 0001 Christian Badertscher Fabio Banfi A note on the equivalence of IND-CCA & INT-PTXT and IND-CCA & INT-CTXT. 135 2018 2018 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2018/135 db/journals/iacr/iacr2018.html#JostBB18

Daniel Jost 0001 Ueli Maurer Marta Mularczyk Efficient Ratcheting: Almost-Optimal Guarantees for Secure Messaging. 954 2018 2018 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2018/954 db/journals/iacr/iacr2018.html#JostMM18

Daniel Jost 0001 Ueli Maurer Context-Restricted Indifferentiability: Generalizing UCE and Implications on the Soundness of Hash-Function Constructions. 461 2017 2017 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2017/461 db/journals/iacr/iacr2017.html#JostM17

Daniel Jost 0001 Ueli Maurer João L. Ribeiro 0001 Information-Theoretic Secret-Key Agreement: The Asymptotically Tight Relation Between the Secret-Key Rate and the Channel Quality Ratio. 1130 2017 2017 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2017/1130 db/journals/iacr/iacr2017.html#JostMR17

Daniel Jost 0001 Alexander J. Summers An Automatic Encoding from VeriFast Predicates into Implicit Dynamic Frames. 202-221 2013 VSTTE https://doi.org/10.1007/978-3-642-54108-7_11 conf/vstte/2013 db/conf/vstte/vstte2013.html#JostS13 Joël Alwen Benedikt Auerbach Christian Badertscher Fabio Banfi Melissa Chase Sandro Coretti Yevgeniy Dodis Esha Ghosh Harish Karthikeyan Shuichi Katsumata Balachandar Kesavan Julia Len Antonio Marcedone Ueli Maurer Marta Mularczyk Thomas Prest João Ribeiro 0002João L. Ribeiro 0001 Rolfe Schmidt Alexander J. Summers