Christian Badertscher
Christian Badertscher
IOHK Research
Verified email at iohk.io - Homepage
Title
Cited by
Cited by
Year
Ouroboros genesis: Composable proof-of-stake blockchains with dynamic availability
C Badertscher, P Gaži, A Kiayias, A Russell, V Zikas
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018
1552018
Bitcoin as a transaction ledger: A composable treatment
C Badertscher, U Maurer, D Tschudi, V Zikas
Annual international cryptology conference, 324-356, 2017
1472017
But why does it work? A rational protocol design treatment of bitcoin
C Badertscher, J Garay, U Maurer, D Tschudi, V Zikas
Annual international conference on the theory and applications of …, 2018
542018
Augmented secure channels and the goal of the TLS 1.3 record layer
C Badertscher, C Matt, U Maurer, P Rogaway, B Tackmann
International Conference on Provable Security, 85-104, 2015
332015
Strengthening access control encryption
C Badertscher, C Matt, U Maurer
International Conference on the Theory and Application of Cryptology and …, 2017
142017
Robust authenticated encryption and the limits of symmetric cryptography
C Badertscher, C Matt, U Maurer, P Rogaway, B Tackmann
IMA International Conference on Cryptography and Coding, 112-129, 2015
132015
Ouroboros Chronos: Permissionless Clock Synchronization via Proof-of-Stake.
C Badertscher, P Gazi, A Kiayias, A Russell, V Zikas
IACR Cryptol. ePrint Arch. 2019, 838, 2019
122019
Security limitations of classical-client delegated quantum computing
C Badertscher, A Cojocaru, L Colisson, E Kashefi, D Leichtle, A Mantri, ...
International Conference on the Theory and Application of Cryptology and …, 2020
92020
Universal composition with global subroutines: Capturing global setup within plain UC
C Badertscher, R Canetti, J Hesse, B Tackmann, V Zikas
Theory of Cryptography Conference, 1-30, 2020
72020
A constructive perspective on signcryption security
C Badertscher, F Banfi, U Maurer
International Conference on Security and Cryptography for Networks, 102-120, 2018
62018
Composable and robust outsourced storage
C Badertscher, U Maurer
Cryptographers’ Track at the RSA Conference, 354-373, 2018
52018
Consensus Redux: Distributed Ledgers in the Face of Adversarial Supremacy.
C Badertscher, P Gazi, A Kiayias, A Russell, V Zikas
IACR Cryptol. ePrint Arch. 2020, 1021, 2020
42020
Agree-and-Prove: Generalized Proofs Of Knowledge and Applications.
C Badertscher, D Jost, U Maurer
IACR Cryptol. ePrint Arch. 2019, 662, 2019
42019
Consistency for Functional Encryption.
C Badertscher, A Kiayias, M Kohlweiss, H Waldner
IACR Cryptol. ePrint Arch. 2020, 137, 2020
22020
On composable security for digital signatures
C Badertscher, U Maurer, B Tackmann
IACR International Workshop on Public Key Cryptography, 494-523, 2018
22018
A note on the equivalence of IND-CCA & INT-PTXT and IND-CCA & INT-CTXT.
D Jost, C Badertscher, F Banfi
IACR Cryptol. ePrint Arch. 2018, 135, 2018
12018
Efficiency lower bounds for commit-and-prove constructions
C Badertscher, S Coretti, U Maurer
2017 IEEE International Symposium on Information Theory (ISIT), 1788-1792, 2017
12017
Key exchange security in constructive cryptography
C Badertscher
Eidgenössische Technische Hochschule Zürich, Department of Computer Science, 2012
12012
Dynamic Ad Hoc Clock Synchronization
C Badertscher, P Gaži, A Kiayias, A Russell, V Zikas
Annual International Conference on the Theory and Applications of …, 2021
2021
Revisiting (R) CCA Security and Replay Protection.
C Badertscher, U Maurer, C Portmann, G Rito
Public Key Cryptography (2), 173-202, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–20