• circuit cutting
• confidentiality
• integrity
• noninterference
• probabilistic noninterference
• quantum circuits
• quantum computing

Quantum computing is a disruptive technology that is expected to offer significant advantages in many critical fields (e.g., drug discovery and cryptography). The security of intellectual property processed by such machines is therefore paramount. Currently, modest Noisy Intermediate-Scale Quantum (NISQ) devices are available. The goal of the thesis is to identify how to ensure security properties, such as secrecy and integrity, while using quantum processors owned by potentially untrustworthy providers.