Introduction to Quantum Computing and Security

URL study guide

https://tue.osiris-student.nl/onderwijscatalogus/extern/cursus?cursuscode=2IMS50&collegejaar=2025&taal=en

Omschrijving

Linear algebra with complex numbers; Pure state formalism; Basics of quantum computing: qubits. quantum registers, unitary operations, gates; Quantum algorithms: Grover, Shor, HHL; Quantum Key Distribution, the BB84 protocol; Density matrix formalism: density matrices, partial trace, POVM formalism, combined classical-quantum states; Quantum one-time pad, approximate randomisation; Basic quantum information theory; Security proof for BB84.
 

Doelstellingen

Aims:
After finishing this course successfully, a student
(i) masters the two main quantum formalisms, the pure state formalism (for quantum computing) and the density matrix formalism (for security definitions and security proofs) to the extent that the student can read basic literature on quantum algorithms and (post-)quantum cryptography.
(ii) has knowledge of quantum computing principles, can reproduce a number of algorithms (Grover, Shor, HHL) and explain how they work.
(iii) is able to formulate the security requirements for quantum-cryptographic schemes, and has knowledge of the main ingredients that go into a security proof for Quantum Key Distribution.

Beoordelingsmethode

Written examination