ETH Zürich » Computer Science » Theory » Cryptography

Christian Badertscher's Publications

Christian Badertscher and Ueli Maurer
Composable and Robust Outsourced Storage
Topics in Cryptology — CT-RSA 2018, LNCS, Springer, vol. 10808, pp. 354-373, Apr 2018.
Available files: [ PDF ] [ Abstract ] [ BibTeX ]
Christian Badertscher, Juan Garay, Ueli Maurer, Daniel Tschudi, and Vassilis Zikas
But Why does it Work? A Rational Protocol Design Treatment of Bitcoin
Advances in Cryptology — EUROCRYPT 2018, LNCS, Springer, vol. 10821 (Proceedings Part II), pp. 34–65, Apr 2018.
Available files: [ PDF ] [ Abstract ] [ BibTeX ]
Christian Badertscher, Ueli Maurer, and Björn Tackmann
On Composable Security for Digital Signatures
Public-Key Cryptography — PKC 2018, LNCS, Springer, vol. 10769 (Proceedings Part I), pp. 494–523, Mar 2018.
Available files: [ PDF ] [ Abstract ] [ BibTeX ]
Christian Badertscher, Fabio Banfi, and Ueli Maurer
A Constructive Perspective on Signcryption Security
Security and Cryptography for Networks — SCN 2018, LNCS, Springer, vol. 11035, pp. 102–120, 2018.
Available files: [ PDF ] [ Abstract ] [ BibTeX ]
Christian Badertscher, Peter Gaži, Aggelos Kiayias, Alexander Russel, and Vassilis Zikas
Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability
The 25th ACM Conference on Computer and Communications Security — ACM CCS 2018, 2018, to appear.
Available files: [ PDF ] [ Abstract ] [ BibTeX ]
Christian Badertscher, Christian Matt, and Ueli Maurer
Strengthening Access Control Encryption
Advances in Cryptology—ASIACRYPT 2017, Lecture Notes in Computer Science, Springer International Publishing, vol. 10624, pp. 502–532, Nov 2017.
Available files: [ PDF ] [ Abstract ] [ BibTeX ]
Christian Badertscher, Ueli Maurer, Daniel Tschudi, and Vassilis Zikas
Bitcoin as a Transaction Ledger: A Composable Treatment
Advances in Cryptology – CRYPTO 2017, LNCS, Springer, vol. 10401 (Proceedings Part I), pp. 324–356, Aug 2017.
Available files: [ PDF ] [ Abstract ] [ BibTeX ]
Christian Badertscher, Sandro Coretti, Chen-Da Liu Zhang, and Ueli Maurer
Efficiency Lower Bounds for Commit-and-Prove Constructions
2017 IEEE International Symposium on Information Theory (ISIT), IEEE, pp. 1788–1792, Jun 2017.
Available files: [ PDF ] [ Abstract ] [ BibTeX ]
Christian Badertscher, Christian Matt, Ueli Maurer, Phillip Rogaway, and Björn Tackmann
Robust Authenticated Encryption and the Limits of Symmetric Cryptography
15th IMA International Conference on Cryptography and Coding - IMACC 2015, LNCS, Springer, vol. 9496, pp. 112–129, Dec 2015.
Available files: [ PDF ] [ Abstract ] [ BibTeX ]
Christian Badertscher, Christian Matt, Ueli Maurer, Phillip Rogaway, and Björn Tackmann
Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer
The 9th International Conference on Provable Security - ProvSec 2015, LNCS, Springer, vol. 9451, pp. 85–104, Nov 2015.
Available files: [ PDF ] [ Abstract ] [ BibTeX ]

© IACR | Springer | ACM | IEEE