Follow
Christian Badertscher
Christian Badertscher
IOG 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
2082018
Bitcoin as a transaction ledger: A composable treatment
C Badertscher, U Maurer, D Tschudi, V Zikas
Annual international cryptology conference, 324-356, 2017
1862017
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
682018
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
392015
Strengthening access control encryption
C Badertscher, C Matt, U Maurer
International Conference on the Theory and Application of Cryptology and …, 2017
192017
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
17*2021
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
142015
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
132020
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
122020
Consensus redux: distributed ledgers in the face of adversarial supremacy
C Badertscher, P Gaži, A Kiayias, A Russell, V Zikas
Cryptology ePrint Archive, 2020
112020
A constructive perspective on signcryption security
C Badertscher, F Banfi, U Maurer
International Conference on Security and Cryptography for Networks, 102-120, 2018
102018
Composable and robust outsourced storage
C Badertscher, U Maurer
Cryptographers’ Track at the RSA Conference, 354-373, 2018
82018
Generalized proofs of knowledge with fully dynamic setup
C Badertscher, D Jost, U Maurer
Theory of Cryptography Conference, 499-528, 2021
5*2021
On composable security for digital signatures
C Badertscher, U Maurer, B Tackmann
IACR International Workshop on Public Key Cryptography, 494-523, 2018
52018
A rational protocol treatment of 51% attacks
C Badertscher, Y Lu, V Zikas
Annual International Cryptology Conference, 3-32, 2021
42021
Consistency for functional encryption
C Badertscher, A Kiayias, M Kohlweiss, H Waldner
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-16, 2021
32021
Revisiting (R) CCA security and replay protection
C Badertscher, U Maurer, C Portmann, G Rito
IACR International Conference on Public-Key Cryptography, 173-202, 2021
22021
Policy-Compliant Signatures
C Badertscher, C Matt, H Waldner
Theory of Cryptography Conference, 350-381, 2021
12021
On the (IR) replaceability of global setups, or how (not) to use a global ledger
C Badertscher, J Hesse, V Zikas
Theory of Cryptography Conference, 626-657, 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
The system can't perform the operation now. Try again later.
Articles 1–20