Efficient ratcheting: almost-optimal guarantees for secure messaging D Jost, U Maurer, M Mularczyk Annual International Conference on the Theory and Applications of …, 2019 | 55 | 2019 |
Continuous group key agreement with active security J Alwen, S Coretti, D Jost, M Mularczyk Theory of Cryptography Conference, 261-290, 2020 | 23 | 2020 |
A unified and composable take on ratcheting D Jost, U Maurer, M Mularczyk Theory of Cryptography Conference, 180-210, 2019 | 19 | 2019 |
On the insider security of MLS J Alwen, D Jost, M Mularczyk Cryptology ePrint Archive, 2020 | 14 | 2020 |
Overcoming impossibility results in composable security using interval-wise guarantees D Jost, U Maurer Annual International Cryptology Conference, 33-62, 2020 | 12 | 2020 |
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 | 8 | 2018 |
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 | 4 | 2019 |
A constructive analysis of IPsec D Jost ETH-Zürich, 2014 | 4 | 2014 |
An automatic encoding from VeriFast predicates into implicit dynamic frames D Jost, AJ Summers Working Conference on Verified Software: Theories, Tools, and Experiments …, 2013 | 3 | 2013 |
Generalized proofs of knowledge with fully dynamic setup C Badertscher, D Jost, U Maurer Theory of Cryptography Conference, 499-528, 2021 | 1 | 2021 |
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 | 1 | 2018 |
On Generalizations of Composable Security D Jost ETH Zurich, 2020 | | 2020 |
Verifying Separation Logic in Chalice D Jost | | 2013 |