Bjoern Tackmann  Bjoern Tackmann photo       

contact information

Zurich Research Laboratory, Zurich, Switzerland
  +41dash44dash724dash88dash95

links



2017

Moderately Hard Functions: Definitions, Instantiations, and Applications
Joel Alwen and Bjoern Tackmann
Theory of Cryptography, Springer, 2017

Secure Event Tickets on a Blockchain
Bjoern Tackmann
Data Privacy Management, Cryptocurrencies and Blockchain Technology, Springer, 2017

Per-Session Security: Password-Based Cryptography Revisited
Gregory Demay, Ueli Maurer, Peter Gazi, Bjoern Tackmann
ESORICS, Springer, 2017

Causal Boxes: Quantum Information-Processing Systems Closed Under Composition
Christopher Portmann, Christian Matt, Ueli Maurer, Renato Renner, Bjoern Tackmann
IEEE Transactions on Information Theory 63(5), 3277-3305, IEEE, 2017


2016

Non-Malleable Encryption: Simpler, Shorter, Stronger
Sandro Coretti, Yevgeniy Dodis, Bjoern Tackmann, Daniele Venturi
Theory of Cryptography, Springer, 2016

Causal Boxes: Quantum Information-Processing Systems Closed under Composition
Christopher Portmann, Renato Renner, Christian Matt, Ueli Maurer, Bjoern Tackmann
Quantum Information Processing 2016

Nonce-Based Cryptography: Retaining Security when Randomness Fails
Mihir Bellare, Bjoern Tackmann
Advances in Cryptology --- EUROCRYPT 2016, Springer

Multi-User Security of Authenticated Encryption: AES-GCM in TLS 1.3
Mihir Bellare, Bjoern Tackmann
Advances in Cryptology - CRYPTO, Springer, 2016


2015

From Single-Bit to Multi-Bit Public-Key Encryption via Non-Malleable Codes
Sandro Coretti, Ueli Maurer, Bjoern Tackmann, Daniele Venturi
Theory of Cryptography, pp. 532--560, Springer, 2015

Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer
Christian Badertscher, Christian Matt, Ueli Maurer, Phillip Rogaway, Bjoern Tackmann
Provable Security, pp. 85--104, Springer, 2015

Robust Authenticated Encryption and the Limits of Symmetric Cryptography
Christian Badertscher, Christian Matt, Ueli Maurer, Phillip Rogaway, Bjoern Tackmann
IMA International Conference on Cryptography and Coding, Springer, 2015

Fair Distributed Computation of Reactive Functions
Juan A. Garay, Bjoern Tackmann, Vassilis Zikas
DISC, pp. 497--512, Springer, 2015

Query-Complexity Amplification for Random Oracles
Gregory Demay, Peter Gazi, Ueli Maurer, Bjoern Tackmann
Information Theoretic Security, pp. 159--180, Springer, 2015

(De-) Constructing TLS 1.3
Markulf Kohlweiss, Ueli Maurer, Cristina Onete, Bjoern Tackmann, Daniele Venturi
INDOCRYPT, pp. 85--102, Springer, 2015

How Fair is Your Protocol? A Utility-based Approach to Protocol Optimality
Juan A. Garay, Jonathan Katz, Bjoern Tackmann, Vassilis Zikas
PODC, ACM Press, 2015


2014

A Theory of Secure Communication
Bjoern Tackmann
2014

Optimality of Non-Adaptive Strategies: The Case of Parallel Games
Gregory Demay, Peter Gazi, Ueli Maurer, Bjoern Tackmann
Information Theory Proceedings --- ISIT, pp. 1707--1711, IEEE Press, 2014


2013

Universally Composable Synchronous Computation
Jonathan Katz, Ueli Maurer, Bjoern Tackmann, Vassilis Zikas
Theory of Cryptography --- TCC 2013, pp. 477--498, Springer

Anonymity-Preserving Public-Key Encryption: A Constructive Approach
Markulf Kohlweiss, Ueli Maurer, Cristina Onete, Bjoern Tackmann, Daniele Venturi
PETS 2013, pp. 19--39, Springer

Rational Protocol Design: Cryptography Against Incentive-driven Adversaries
Juan A. Garay, Jonathan Katz, Ueli Maurer, Bjoern Tackmann, Vassilis Zikas
Foundations of Computer Science, IEEE Press, 2013

A Constructive Perspective on Key Encapsulation
Sandro Coretti, Ueli Maurer, Bjoern Tackmann
Number Theory and Cryptography, pp. 226--239, Springer, 2013

Constructing Confidential Channels from Authenticated Channels---Public-Key Encryption Revisited
Sandro Coretti, Ueli Maurer, Bjoern Tackmann
Advances in Cryptology --- ASIACRYPT 2013, pp. 134--153, Springer


2012

Synchrony Amplification
Ueli Maurer, Bjoern Tackmann
Information Theory Proceedings, IEEE Press, 2012

Confidentiality and Integrity: A Constructive Perspective
Ueli Maurer, Andreas Rueedlinger, Bjoern Tackmann
Theory of Cryptography --- TCC 2012, pp. 209--229, Springer


2010

On the Soundness of Authenticate-then-Encrypt: Formalizing the Malleability of Symmetric Encryption
Ueli Maurer, Bjoern Tackmann
ACM Conference on Computer and Communications Security, pp. 505--515, ACM Press, 2010