Follow
Daniel Jost
Daniel Jost
Postdoc, NYU
Verified email at cs.nyu.edu - Homepage
Title
Cited by
Cited by
Year
Efficient ratcheting: almost-optimal guarantees for secure messaging
D Jost, U Maurer, M Mularczyk
Advances in Cryptology–EUROCRYPT 2019: 38th Annual International Conference …, 2019
912019
Continuous group key agreement with active security
J Alwen, S Coretti, D Jost, M Mularczyk
Theory of Cryptography: 18th International Conference, TCC 2020, Durham, NC …, 2020
462020
A unified and composable take on ratcheting
D Jost, U Maurer, M Mularczyk
Theory of Cryptography: 17th International Conference, TCC 2019, Nuremberg …, 2019
382019
On the insider security of MLS
J Alwen, D Jost, M Mularczyk
Annual International Cryptology Conference, 34-68, 2022
312022
Overcoming impossibility results in composable security using interval-wise guarantees
D Jost, U Maurer
Advances in Cryptology–CRYPTO 2020: 40th Annual International Cryptology …, 2020
192020
Information-theoretic secret-key agreement: The asymptotically tight relation between the secret-key rate and the channel quality ratio
D Jost, U Maurer, JL Ribeiro
Theory of Cryptography: 16th International Conference, TCC 2018, Panaji …, 2018
122018
Security Definitions for Hash Functions: Combining UCE and Indifferentiability
D Jost, U Maurer
International Conference on Security and Cryptography for Networks, 83-101, 2018
7*2018
An automatic encoding from VeriFast predicates into implicit dynamic frames
D Jost, AJ Summers
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2013
52013
Agree-and-prove: generalized proofs of knowledge and applications
C Badertscher, D Jost, U Maurer
Cryptology ePrint Archive 2019, 2019
42019
A constructive analysis of IPsec
D Jost
ETH-Zürich, 2014
42014
End-to-End Encrypted Zoom Meetings: Proving Security and Strengthening Liveness
Y Dodis, D Jost, B Kesavan, A Marcedone
Annual International Conference on the Theory and Applications of …, 2023
32023
Forward-secure encryption with fast forwarding
Y Dodis, D Jost, H Karthikeyan
Theory of Cryptography Conference, 3-32, 2022
32022
A note on the equivalence of IND-CCA & INT-PTXT and IND-CCA & INT-CTXT
D Jost, C Badertscher, F Banfi
Cryptology ePrint Archive, 2018
22018
ELEKTRA: Efficient Lightweight multi-dEvice Key TRAnsparency
J Len, M Chase, E Ghosh, D Jost, B Kesavan, A Marcedone
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023
2023
Generalized proofs of knowledge with fully dynamic setup
C Badertscher, D Jost, U Maurer
Theory of Cryptography Conference, 499-528, 2021
2021
On Generalizations of Composable Security
D Jost
ETH Zurich, 2020
2020
Verifying Separation Logic in Chalice
D Jost
2013
The system can't perform the operation now. Try again later.
Articles 1–17