Information Security and Cryptography Research Group

Causal Boxes: Quantum Information-Processing Systems Closed Under Composition

Christopher Portmann, Christian Matt, Ueli Maurer, Renato Renner, and Björn Tackmann

IEEE Transactions on Information Theory, vol. 63, no. 5, pp. 3277-3305, May 2017.

Complex information-processing systems, for example quantum circuits, cryptographic protocols, or multi-player games, are naturally described as networks composed of more basic information-processing systems. A modular analysis of such systems requires a mathematical model of systems that is closed under composition, i.e., a network of these objects is again an object of the same type. We propose such a model and call the corresponding systems causal boxes.

Causal boxes capture superpositions of causal structures, e.g., messages sent by a causal box A can be in a superposition of different orders or in a superposition of being sent to box B and box C. Furthermore, causal boxes can model systems whose behavior depends on time. By instantiating the Abstract Cryptography framework with causal boxes, we obtain the first composable security framework that can handle arbitrary quantum protocols and relativistic protocols.

BibTeX Citation

    author       = {Christopher Portmann and Christian Matt and Ueli Maurer and Renato Renner and Björn Tackmann},
    title        = {Causal Boxes: Quantum Information-Processing Systems Closed Under Composition},
    journal      = {IEEE Transactions on Information Theory},
    pages        = {3277-3305},
    number       = {5},
    volume       = {63},
    year         = {2017},
    month        = {5},

Files and Links