MUSIC Luka
Supervision : Elham KASHEFI
Co-supervision : Céline CHEVALIER
Multi-Party Quantum Cryptography: From Folklore to Real-World
Quantum cryptography builds upon decades of advances both in classical cryptography and networks. However, contrary to its classical counterparts, it is still in its infancy applicability-wise, even in the scenario where powerful quantum computers are readily available, and more theoretical work is required before it can provide concrete benefits.
The first goal is to formalise in rigorous quantum security frameworks the properties of various techniques that have been transposed, often without proper justification, from the classical world.
Then, the recent developments in quantum technologies suggest a mostly cloud-based future availability of quantum devices. Therefore, quantum computation and communication cost of protocol participants must be lowered before being useful.
Finally, in most situations, additional steps need to be taken to tailor protocols to the specifications of devices. This allows for optimisations both in terms of quantum memory and operation requirements.
This thesis contributes to these three aspects by:
- giving the first general security definition of the Quantum Cut-and-Choose, a technique for proving the correctness of a quantum message;
- presenting a more realistic framework of security against superposition attacks, where classical protocols run on inherently quantum devices;
- constructing an efficient delegated multi-party quantum computation protocol, allowing clients to delegate securely to a quantum server a private computation;
- building a method for verifying the honesty of a quantum server performing computations on behalf of a client with no operation or memory overhead compared to the unprotected computation.
Defence : 07/09/2021
Jury members :
M. Olivier Blazy, Université de Limoges [Rapporteur]
M. Gorjan Alagic, University of Maryland [Rapporteur]
M. David Pointcheval, ENS Paris
Mme. Aikaterini Mitrokotsa, University of St. Gallen
M. André Chailloux, INRIA
Mme. Anna Pappa, Technical University Berlin
Mme. Elham Kashefi, Sorbonne Université/University of Edinburgh
Mme. Céline Chevalier, Université Panthéon Assas Paris 2
2020-2024 Publications
-
2024
- E. Kashefi, D. Leichtle, L. Music, H. Ollivier : “Verification of Quantum Computations without Trusted Preparations or Measurements”, Quantum Computing Theory in Practice, Edinburgh (Ecosse), United Kingdom (2024)
- C. Donne, M. Iuliano, B. Van der Vecht, G. Ferreira, H. Jirovská, Th. Van der Steenhoven, A. Dahlberg, M. Skrzypczyk, D. Fioretto, M. Teller, P. Filippov, A.‑P. Montblanch, J. Fischer, B. Van Ommen, N. Demetriou, D. Leichtle, L. Music, H. Ollivier, I. Raa, W. Kozlowski, T. Taminiau, P. Pawełczak, T. Northup, R. Hanson, S. Wehner : “Design and demonstration of an operating system for executing applications on quantum network nodes”, (2024)
-
2023
- Th. Kapourniotis, E. Kashefi, D. Leichtle, L. Music, H. Ollivier : “Asymmetric Quantum Secure Multi-Party Computation With Weak Clients Against Dishonest Majority”, (2023)
-
2022
- Th. Kapourniotis, E. Kashefi, D. Leichtle, L. Music, H. Ollivier : “Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations”, (2022)
- L. Music, C. Chevalier, E. Kashefi : “Correction to: Dispelling myths on superposition attacks: formal security model and attack analyses”, Designs, Codes and Cryptography, vol. 90 (6), pp. 1535-1535, (Springer Verlag) (2022)
- L. Music, C. Chevalier, E. Kashefi : “Dispelling myths on superposition attacks: formal security model and attack analyses”, Designs, Codes and Cryptography, vol. 90 (4), pp. 881-920, (Springer Verlag) (2022)
-
2021
- L. Music : “Multi-Party Quantum Cryptography: From Folklore to Real-World”, thesis, phd defence 07/09/2021, supervision Kashefi, Elham, co-supervision : Céline, CHEVALIER (2021)
- D. Leichtle, L. Music, E. Kashefi, H. Ollivier : “Verifying BQP Computations on Noisy Devices with Minimal Overhead”, PRX Quantum, vol. 2 (4), pp. 040302, (APS Physics) (2021)
- Th. Kapourniotis, E. Kashefi, L. Music, H. Ollivier : “Delegating Multi-Party Quantum Computations vs. Dishonest Majority in Two Quantum Rounds”, (2021)
- E. Kashefi, L. Music, P. Wallden : “The Quantum Cut-and-Choose Technique and Quantum Two-Party Computation”, (2021)
-
2020
- L. Music, E. Kashefi, C. Chevalier : “Dispelling Myths on Superposition Attacks: Formal Security Model and Attack Analyses”, International Conference on Provable Security, ProvSec 2020: Provable and Practical Security, vol. 12505, Lecture Notes in Computer Science, Singapour / Virtual, Singapore, pp. 318-337, (Springer) (2020)
- E. Kashefi, D. Leichtle, L. Music, H. Ollivier : “Securing Quantum Computations in the NISQ Era”, (2020)