ETH Zürich » Computer Science » Theory » Cryptography

Christian Badertscher's Publications

Christian Badertscher and Ueli Maurer
Composable and Robust Outsourced Storage
Cryptology ePrint Archive, Report 2017/133, 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
IEEE International Symposium on Information Theory (ISIT), 2017, to appear.
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, to appear.
Available files: [ PDF ] [ Abstract ] [ BibTeX ]
Christian Badertscher, Christian Matt, and Ueli Maurer
Strengthening Access Control Encryption
Advances in Cryptology—ASIACRYPT 2017, Springer Berlin Heidelberg, 2017, to appear.
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