Volgen
Daniel Jost
Daniel Jost
Postdoc, NYU
Geverifieerd e-mailadres voor cs.nyu.edu - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Efficient ratcheting: almost-optimal guarantees for secure messaging
D Jost, U Maurer, M Mularczyk
Annual International Conference on the Theory and Applications of …, 2019
612019
Continuous group key agreement with active security
J Alwen, S Coretti, D Jost, M Mularczyk
Theory of Cryptography Conference, 261-290, 2020
252020
A unified and composable take on ratcheting
D Jost, U Maurer, M Mularczyk
Theory of Cryptography Conference, 180-210, 2019
212019
On the insider security of MLS
J Alwen, D Jost, M Mularczyk
Cryptology ePrint Archive, 2020
152020
Overcoming impossibility results in composable security using interval-wise guarantees
D Jost, U Maurer
Annual International Cryptology Conference, 33-62, 2020
142020
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 Conference, 345-369, 2018
82018
Security Definitions for Hash Functions: Combining UCE and Indifferentiability
D Jost, U Maurer
International Conference on Security and Cryptography for Networks, 83-101, 2018
6*2018
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
An automatic encoding from VeriFast predicates into implicit dynamic frames
D Jost, AJ Summers
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2013
32013
Generalized proofs of knowledge with fully dynamic setup
C Badertscher, D Jost, U Maurer
Theory of Cryptography Conference, 499-528, 2021
12021
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
12018
Forward-secure encryption with fast forwarding
Y Dodis, D Jost, H Karthikeyan
Cryptology ePrint Archive, 2022
2022
On Generalizations of Composable Security
D Jost
ETH Zurich, 2020
2020
Verifying Separation Logic in Chalice
D Jost
2013
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–15