Björn Tackmann

发表

Universally Composable Synchronous Computation

Ueli Maurer, Jonathan Katz, Vassilis Zikas, 2013, TCC.

Universal Composition with Global Subroutines: Capturing Global Setup within plain UC

Ran Canetti, Christian Badertscher, Vassilis Zikas, 2020, IACR Cryptol. ePrint Arch..

Erratum to: Per-Session Security: Password-Based Cryptography Revisited

Ueli Maurer, Peter Gaži, Grégory Demay, 2017, ESORICS 2017.

Non-malleable Encryption: Simpler, Shorter, Stronger

Yevgeniy Dodis, Sandro Coretti, Daniele Venturi, 2016, Journal of Cryptology.

Privacy-preserving auditable token payments in a permissioned blockchain system

Angelo De Caro, Maria Dubovitskaya, Jan Camenisch, 2020, IACR Cryptol. ePrint Arch..

Nonce-Based Cryptography: Retaining Security When Randomness Fails

Mihir Bellare, Björn Tackmann, M. Bellare, 2016, EUROCRYPT.

From Single-Bit to Multi-bit Public-Key Encryption via Non-malleable Codes

Ueli Maurer, Sandro Coretti, Daniele Venturi, 2015, TCC.

Self-Destruct Non-Malleability

Yevgeniy Dodis, Sandro Coretti, Daniele Venturi, 2014, IACR Cryptol. ePrint Arch..

Constructing Confidential Channels from Authenticated Channels - Public-Key Encryption Revisited

Ueli Maurer, Sandro Coretti, Björn Tackmann, 2013, IACR Cryptol. ePrint Arch..

Confidentiality and Integrity: A Constructive Perspective

Ueli Maurer, Björn Tackmann, Andreas Rüedlinger, 2012, TCC.

Key Exchange with Unilateral Authentication: Composable Security Definition and Modular Protocol Design

Ueli Maurer, Sandro Coretti, Björn Tackmann, 2013, IACR Cryptol. ePrint Arch..

Updatable Encryption with Post-Compromise Security

Anja Lehmann, Björn Tackmann, Björn Tackmann, 2018, IACR Cryptol. ePrint Arch..

Toward an Algebraic Theory of Systems pdf

Ueli Maurer, Renato Renner, Björn Tackmann, 2016, Theor. Comput. Sci..

A Constructive Perspective on Key Encapsulation

Ueli Maurer, Sandro Coretti, Björn Tackmann, 2013, Number Theory and Cryptography.

The Transaction Graph for Modeling Blockchain Semantics

Marko Vukolic, Angelo De Caro, Pedro Moreno-Sanchez, 2020, IACR Cryptol. ePrint Arch..

The Multi-user Security of Authenticated Encryption: AES-GCM in TLS 1.3

Mihir Bellare, Björn Tackmann, M. Bellare, 2016, CRYPTO.

Fair Distributed Computation of Reactive Functions

Juan A. Garay, Vassilis Zikas, Björn Tackmann, 2015, DISC.

How Fair is Your Protocol?: A Utility-based Approach to Protocol Optimality

Jonathan Katz, Juan A. Garay, Vassilis Zikas, 2015, PODC.

Rational Protocol Design: Cryptography against Incentive-Driven Adversaries

Ueli Maurer, Jonathan Katz, Juan A. Garay, 2013, 2013 IEEE 54th Annual Symposium on Foundations of Computer Science.

Anonymous Transactions with Revocation and Auditing in Hyperledger Fabric

Angelo De Caro, Björn Tackmann, Kaoutar Elkhiyaoui, 2019, IACR Cryptol. ePrint Arch..

Causal Boxes: Quantum Information-Processing Systems Closed Under Composition

Ueli Maurer, Renato Renner, Christian Matt, 2015, IEEE Transactions on Information Theory.

Multi-Protocol UC and its Use for Building Modular and Efficient Protocols

Jan Camenisch, Manu Drijvers, Björn Tackmann, 2019, IACR Cryptol. ePrint Arch..

Stateful Multi-Client Verifiable Computation

Esha Ghosh, Christian Cachin, Dimitrios Papadopoulos, 2018, IACR Cryptol. ePrint Arch..

On the soundness of authenticate-then-encrypt: formalizing the malleability of symmetric encryption

Ueli Maurer, Björn Tackmann, U. Maurer, 2010, CCS '10.

User Anonymous Authentication Scheme for Decentralized Access Control in Clouds

Björn Tackmann, Markulf Kohlweiss, Cristina Onete, 2015 .

Nonces are Noticed: AEAD Revisited

Mihir Bellare, Björn Tackmann, Ruth Ng, 2019, IACR Cryptol. ePrint Arch..