Quantum Information Processing

In the area of quantum information processing, CTIC does research in quantum computation, more specifically with the goal of determining the quantum complexity selected computational problems using, for instance, recent techniques for lower bounding quantum query complexity, or lower bounds via the pattern matrix method.

We also do research in quantum cryptography. This encompasses quantum attacks on classical protocols, as well as the construction of secure protocols that use quantum communication. Here, we are interested in protocols for specific, yet fundamental tasks such as coin-flipping, identification and oblivious transfer.

A final subject that connects quantum complexity and cryptography is interactive proof systems, where we are particularly interested in the power of multi-prover proof systems.