Publications

Spectrally multimode squeezed states generation at telecom wavelengths
We report on the experimental demonstration of a source that generates spectrally multimode squeezed states of light over the infrared …
DOI HAL
Network-Device-Independent Certification of Causal Nonseparability
Causal nonseparability is the property underlying quantum processes incompatible with a definite causal order. So far it has remained a …
PDF DOI HAL
Energetic Analysis of Emerging Quantum Communication Protocols
With the rapid development and early industrialization of quantum technologies, it is of great inter- est to analyze their overall …
PDF HAL
The Role of piracy in quantum proofs
A well-known feature of quantum information is that it cannot, in general, be cloned. Recently, a number of quantum-enabled …
HAL
Exponential separation in quantum query complexity of the quantum switch with respect to simulations with standard quantum circuits
Quantum theory is consistent with a computational model permitting black-box operations to be applied in an indefinite causal order, …
DOI HAL
Can the quantum switch be deterministically simulated?
Higher-order transformations that act on a certain number of input quantum channels in an indefinite causal order - such as the quantum …
HAL
Subspace Preserving Quantum Convolutional Neural Network Architectures
Subspace preserving quantum circuits are a class of quantum algorithms that, relying on some symmetries in the computation, can offer …
HAL
QOSST: An Open Source Software for Continuous-Variable Quantum Key Distribution
HAL
Multicopy quantum state teleportation with application to storage and retrieval of quantum programs
This work considers a teleportation task for Alice and Bob in a scenario where Bob cannot perform corrections. In particular, we …
HAL
Entanglement Swapping in Orbit: a Satellite Quantum Link Case Study
Satellite quantum communication is a promising way to build long distance quantum links, making it an essential complement to optical …
PDF HAL
Post-Quantum Cryptographically-Secured Trusted Node for Quantum Key Distribution in a Deployed Network
PDF HAL
19th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2024)
HAL
Complexity of geometrically local stoquastic Hamiltonians
The QMA-completeness of the local Hamiltonian problem is a landmark result of the field of Hamiltonian complexity that studies the …
HAL
Certifying measurement incompatibility in prepare-and-measure and Bell scenarios
We consider the problem of certifying measurement incompatibility in a prepare-and-measure (PM) scenario. We present different families …
HAL
All incompatible measurements on qubits lead to multiparticle Bell nonlocality
Bell nonlocality is a fundamental phenomenon of quantum physics as well as an essential resource for various tasks in quantum …
HAL
Characterising transformations between quantum objects, ‘completeness’ of quantum properties, and transformations without a fixed causal order
Many fundamental and key objects in quantum mechanics are linear mappings between particular affine/linear spaces. This structure …
DOI HAL
Connecting Quantum Cities: Simulation of a Satellite-Based Quantum Network
We present and analyse an architecture for a European-scale quantum network using satellite links to connect Quantum Cities, which are …
PDF DOI HAL
Towards an Experimental Implementation of Efficient Verification of Boson Sampling
HAL
QOSST: A Highly Modular Open Source Platform for Continuous Variable Quantum Key Distribution Applications
We present a highly modular Open Source Software to perform CV-QKD experiments. The software is hardware agnostic and was benchmarked …
DOI HAL
A Practical Protocol for Quantum Oblivious Transfer from One-Way Functions
We present a new simulation-secure quantum oblivious transfer (QOT) protocol based on one-way functions in the plain model. With a …
HAL
Bell Nonlocality from Wigner Negativity in Qudit Systems
Nonlocality is an essential concept that distinguishes quantum from classical models and has been extensively studied in systems of …
HAL
The Round Complexity of Proofs in the Bounded Quantum Storage Model
The round complexity of interactive proof systems is a key question of practical and theoretical relevance in complexity theory and …
HAL
Self-Testing Graph States Permitting Bounded Classical Communication
Self-testing identifies quantum states and correlations that exhibit non-locality, distinguishing them, up to local transformations, …
HAL
QOSST: A Highly-Modular Open Source Platform for Experimental Continuous-Variable Quantum Key Distribution
Quantum Key Distribution (QKD) enables secret key exchange between two remote parties with information-theoretic security rooted in the …
PDF HAL
The power of shallow-depth Toffoli and qudit quantum circuits
The relevance of shallow-depth quantum circuits has recently increased, mainly due to their applicability to near-term devices. In this …
HAL
Experimental superposition of a quantum evolution with its time reverse
In the macroscopic world, time is intrinsically asymmetric, flowing in a specific direction, from past to future. However, the same is …
DOI HAL
Towards the Impossibility of Quantum Public Key Encryption with Classical Keys from One-Way Functions
There has been a recent interest in proposing quantum protocols whose security relies on weaker computational assumptions than their …
DOI HAL
All graph state verification protocols are composably secure
Graph state verification protocols allow multiple parties to share a graph state while checking that the state is honestly prepared, …
PDF HAL
Analysis of satellite-to-ground quantum key distribution with adaptive optics
Future quantum communication infrastructures will rely on both terrestrial and space-based links integrating high-performance optical …
DOI HAL
Verifier-on-a-Leash: New Schemes for Verifiable Delegated Quantum Computation, with Quasilinear Resources
DOI HAL
A Linear Algebraic Framework for Dynamic Scheduling Over Memory-Equipped Quantum Networks
Quantum Internetworking is a recent field that promises numerous interesting applications, many of which require the distribution of …
DOI HAL
The disparate impact of noise on quantum learning algorithms
Quantum computing, one of the most exciting scientific journeys of our time, holds remarkable potential by promising to rapidly solve …
PDF HAL
Quantum Key Distribution through atmospheric turbulence : secure satellite-to-ground links
The ever-growing demands of modern telecommunication systems in terms of data rates as well as the impending threat of the increasing …
PDF HAL
Quantum Hardware Security and Near-term Applications
Hardware security primitives are hardware-based fundamental components and mechanisms used to enhance the security of modern computing …
PDF HAL
Experimental cheat-sensitive quantum weak coin flipping
As in modern communication networks, the security of quantum networks will rely on complex cryptographic tasks that are based on a …
DOI HAL
Semi-Quantum Copy-Protection and More
Properties of quantum mechanics have enabled the emergence of quantum cryptographic protocols achieving important goals which are …
PDF HAL
Experimental demonstration of Continuous-Variable Quantum Key Distribution with a silicon photonics integrated receiver
Quantum Key Distribution (QKD) is a prominent application in the field of quantum cryptography providing information-theoretic security …
PDF HAL
Experimental Certification of Quantum Transmission via Bell's Theorem
Quantum transmission links are central elements in essentially all implementations of quantum information protocols. Emerging progress …
PDF HAL
Experimental Demonstration of Continuous-Variable Quantum Key Distribution with a Photonic Integrated Receiver and Modular Software
HAL
Towards a Unified Quantum Protocol Framework: Classification, Implementation, and Use Cases
We present a framework for the unification and standardization of quantum network protocols, making their realization easier and …
DOI HAL
Simplifying errors by symmetry and randomisation
We present a set of methods to generate less complex error channels by quantum circuit parallelisation. The resulting errors are …
HAL
Scalable and Exponential Quantum Error Mitigation of BQP Computations using Verification
We present a scalable and modular error mitigation protocol for running $\mathsf{BQP}$ computations on a quantum computer with …
HAL
Multi-client distributed blind quantum computation with the Qline architecture
Universal blind quantum computing allows users with minimal quantum resources to delegate a quantum computation to a remote quantum …
HAL
Establishing shared secret keys on quantum line networks: protocol and security
We show the security of multi-user key establishment on a single line of quantum communication. More precisely, we consider a quantum …
HAL
A Spin-Optical Quantum Computing Architecture
We introduce an adaptable and modular hybrid architecture designed for fault-tolerant quantum computing. It combines quantum emitters …
PDF HAL
The quantum switch is uniquely defined by its action on unitary operations
The quantum switch is a quantum process that creates a coherent control between different unitary operations, which is often described …
PDF DOI HAL
Linear optical logical Bell state measurements with optimal loss-tolerance threshold
Quantum threshold theorems impose hard limits on the hardware capabilities to process quantum information. We derive tight and …
DOI HAL
Corrected Bell and Noncontextuality Inequalities for Realistic Experiments
Contextuality is a feature of quantum correlations. It is crucial from a foundational perspective as a nonclassical phenomenon, and …
PDF HAL
The minimal communication cost for simulating entangled qubits
We analyze the amount of classical communication required to reproduce the statistics of local projective measurements on a general …
DOI HAL
Quantum many-body dynamics for combinatorial optimisation and machine learning
The goal of this thesis is to explore and qualify the use of N-body quantum dynamics to Tsolve hard industrial problems and machine …
PDF HAL
Cost and Routing of Continuous Variable Quantum Networks
We study continuous-variable graph states as quantum communication networks. We explore graphs with regular and complex network shapes …
DOI HAL
Flow conditions for continuous variable measurement-based quantum computing
In measurement-based quantum computing (MBQC), computation is carried out by a sequence of measurements and corrections on an entangled …
PDF DOI HAL
Learning unitaries with quantum statistical queries
We propose several algorithms for learning unitary operators from quantum statistical queries (QSQs) with respect to their …
PDF HAL
Trainability and Expressivity of Hamming-Weight Preserving Quantum Circuits for Machine Learning
Quantum machine learning has become a promising area for real world applications of quantum computers, but near-term methods and their …
HAL
Quantum nonlocality in presence of strong measurement dependence
It is well known that the effect of quantum nonlocality, as witnessed by violation of a Bell inequality, can be observed even when …
DOI HAL
Logical possibilities for physics after MIP*=RE
MIP*=RE implies that C_{qa} (the closure of the set of tensor product correlations) and C_{qc} (the set of commuting correlations) can …
HAL
Nonlocality activation in a photonic quantum network
Bell nonlocality refers to correlations between two distant, entangled particles that challenge classical notions of local causality. …
DOI HAL
A tale of resilience: On the practical security of masked software implementations
Masking constitutes a provably-secure approach against side-channel attacks. However, recombination effects(e.g., transitions) severely …
PDF DOI HAL
Characterising the Hierarchy of Multi-time Quantum Processes with Classical Memory
Memory is the fundamental form of temporal complexity: when present but uncontrollable, it manifests as non-Markovian noise; …
DOI HAL
A unifying framework for differentially private quantum algorithms
Differential privacy is a widely used notion of security that enables the processing of sensitive information. In short, differentially …
PDF HAL
Inflated Graph States Refuting Communication-Assisted LHV Models
Standard Bell inequalities hold when distant parties are not allowed to communicate. Barrett et al. found correlations from Pauli …
PDF DOI HAL
High-speed continuous-variable quantum key distribution with advanced digital signal processing
Continuous-variable quantum key distribution (CV-QKD) is a promising solution for providing high secure key rates in moderate loss …
PDF DOI HAL
Verifiable blind quantum computing with trapped ions and single photons
We present the first hybrid matter-photon implementation of verifiable blind quantum computing. We use a trapped-ion quantum server and …
HAL
Dispositifs électroniques avancés pour la CV-QKD
PDF HAL
Quantum security of subset cover problems
The subset cover problem for $k \geq 1$ hash functions, which can be seen as an extension of the collision problem, was introduced in …
DOI HAL
Higher-order Process Matrix Tomography of a passively-stable Quantum SWITCH
The field of indefinite causal order (ICO) has seen a recent surge in interest. Much of this research has focused on the quantum …
DOI HAL
Asymmetric Quantum Secure Multi-Party Computation With Weak Clients Against Dishonest Majority
Secure multi-party computation (SMPC) protocols allow several parties that distrust each other to collectively compute a function on …
HAL
Optimal universal quantum circuits for unitary complex conjugation
DOI HAL
Encryption with Quantum Public Keys
It is an important question to find constructions of quantum cryptographic protocols which rely on weaker computational assumptions …
HAL
InP-based CV-QKD PIC Transmitter
An InP-based photonic integrated circuit (PIC) transmitter for pulsed Gaussian-modulated coherent-state (GMCS) CV-QKD protocol is …
DOI HAL
Improvement of satellite-to-ground QKD secret key rate with adaptive optics
We demonstrate the gain brought by adaptive optics for space-ground QKD links. Refined modeling of turbulence, adaptive optics and QKD, …
PDF DOI HAL
CV-QKD Receiver Platform Based On A Silicon Photonic Integrated Circuit
We report on the characterization of a SiGe PIC-based receiver along with its usage in a Gaussian-modulated coherent state CV-QKD …
DOI HAL
Classical Cost of Transmitting a Qubit
We consider general prepare-and-measure scenarios in which Alice can transmit qubit states to Bob, who can perform general measurements …
DOI HAL
Outcome determinism in measurement-based quantum computation with qudits
In measurement-based quantum computing (MBQC), computation is carried out by a sequence of measurements and corrections on an entangled …
DOI HAL
Satellite-based Quantum Information Networks: Use cases, Architecture, and Roadmap
Quantum Information Networks (QIN) currently represent a major goal in the field quantum communication technologies. Such QINs will …
DOI HAL
Self-testing nonlocality without entanglement
Quantum theory allows for nonlocality without entanglement. Notably, there exist bipartite quantum measurements consisting of only …
DOI HAL
Device-independent and semi-device-independent entanglement certification in broadcast Bell scenarios
It has recently been shown that by broadcasting the subsystems of a bipartite quantum state, one can activate Bell nonlocality and …
DOI HAL
Photonic Resources for the Implementation of Quantum Network Protocols
The security of modern communication networks can be enhanced thanks to the laws of quantum mechanics. In this thesis, we develop a …
PDF HAL
Contextuality and Wigner negativity are equivalent for continuous-variable quantum measurements
Quantum computers will provide considerable speedups with respect to their classical counterparts. However, the identification of the …
DOI HAL
Classically Approximating Variational Quantum Machine Learning with Random Fourier Features
Many applications of quantum computing in the near term rely on variational quantum circuits (VQCs). They have been showcased as a …
HAL
Quantum Metrology with Delegated Tasks
A quantum metrology scheme can be decomposed into three quantum tasks: state preparation, parameter encoding and measurements. …
DOI HAL
Demonstration of a quantum SWITCH in a Sagnac configuration
The quantum SWITCH is an example of a process with an indefinite causal structure, and has attracted attention for its ability to …
DOI HAL
Quantum Lock: A Provable Quantum Communication Advantage
Physical unclonable functions(PUFs) provide a unique fingerprint to a physical entity by exploiting the inherent physical randomness. …
HAL
Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations
With the recent availability of cloud quantum computing services, the question of verifying quantum computations delegated by a client …
HAL
Experimental cheat-sensitive quantum weak coin flipping
As in modern communication networks, the security of quantum networks will rely on complex cryptographic tasks that are based on a …
HAL
Differential Privacy Amplification in Quantum and Quantum-inspired Algorithms
Differential privacy provides a theoretical framework for processing a dataset about n users, in a way that the output reveals a …
PDF HAL
CV-QKD Receiver Platform Based On A Silicon Photonic Chip
HAL
Quantum City: simulation of a practical near-term metropolitan quantum network
We present the architecture and analyze the applications of a metropolitan-scale quantum network that requires only limited hardware …
HAL
QEnclave - A practical solution for secure quantum cloud computing
We introduce a secure hardware device named a QEnclave that can secure the remote execution of quantum operations while only using …
DOI HAL
Design and Optimization of Tools for the Quantum Internet
This thesis is written in the context of quantum Internet development. We try here to contribute to the community by discussing some …
PDF HAL
Post-Quantum Zero-Knowledge with Space-Bounded Simulation
The traditional definition of quantum zero-knowledge stipulates that the knowledge gained by any quantum polynomial-time verifier in an …
HAL
A Versatile PIC-based CV-QKD receiver
HAL
A Linear Algebraic Framework for Quantum Internet Dynamic Scheduling
Future quantum internet aims to enable quantum communication between arbitrary pairs of distant nodes through the sharing of end-to-end …
PDF DOI HAL
Long-range QKD without trusted nodes is not possible with current technology
DOI HAL
ParisRegionQCI: A Parisian Quantum Network
HAL
A Versatile PIC-based CV-QKD Receiver
HAL
Semi-device-independent Certification of Causal Nonseparability with Trusted Quantum Inputs
While the standard formulation of quantum theory assumes a fixed background causal structure, one can relax this assumption within the …
PDF DOI HAL
Complete ZX-calculi for the stabiliser fragment in odd prime dimensions
We introduce a family of ZX-calculi which axiomatise the stabiliser fragment of quantum theory in odd prime dimensions. These calculi …
DOI HAL
Quantum Local Differential Privacy and Quantum Statistical Query Model
The problem of private learning has been extensively studied in classical computer science. Notably, a striking equivalence between …
PDF HAL
Private network parameter estimation with quantum sensors
Networks of quantum sensors are a central application of burgeoning quantum networks. A key question for the use of such networks will …
HAL
QMA-Hardness of Consistency of Local Density Matrices with Applications to Quantum Zero-Knowledge
DOI HAL
Experimental Demonstration of Discrete Modulation Formats for Continuous Variable Quantum Key Distribution
PDF DOI HAL
A Versatile CV-QKD system with a PIC-based receiver
HAL
Quantum Protocol for Electronic Voting without Election Authorities
Electronic voting is a very useful but challenging internet-based protocol that despite many theoretical approaches and various …
DOI HAL
Correction to: Dispelling myths on superposition attacks: formal security model and attack analyses
DOI HAL
Bridging the gap between technology and policy in GDPR compliance: the role of differential privacy
HAL
Dispelling myths on superposition attacks: formal security model and attack analyses
DOI HAL
Study of Protocols Between Classical Clients and a Quantum Server
Quantum computers promise surprising powers of computation by exploiting the stunning physical properties of infinitesimally small …
PDF HAL
Quantum Optics Systems for Long-Distance Cryptography and Quantum Networks
The thesis is divided into two parts: The first part is in the field of Quantum Cryptography. In this part we develop a theoretical …
PDF HAL
Advanced signal processing techniques for continuous variable quantum key distribution over optical fiber
Quantum key distribution offers the possibility of cryptography whose security is demonstrated by the laws of quantum physics. The …
PDF HAL
Continuous-variable nonlocality and contextuality
Contextuality is a non-classical behaviour that can be exhibited by quantum systems. It is increasingly studied for its relationship to …
DOI HAL
Quantum Advantage in Information Retrieval
Random access codes have provided many examples of quantum advantage in communication, but concern only one kind of information …
DOI HAL
Qualifying quantum approaches for hard industrial optimization problems. A case study in the field of smart-charging of electric vehicles
PDF HAL
Measurement-based quantum computation beyond qubits
Measurement-based quantum computation (MBQC) is an alternative model for quantum computation, which makes careful use of the properties …
PDF HAL
Quantum learning algorithms imply circuit lower bounds
DOI HAL
2022 Roadmap on integrated quantum photonics
Abstract Integrated photonics will play a key role in quantum systems as they grow from few-qubit prototypes to tens of thousands of …
Galan Moody, Volker Sorger, Daniel Blumenthal, Paul Juodawlkis, William Loh, Cheryl Sorace-Agaskar, Alex Jones, Krishna Balram, Jonathan Matthews, Anthony Laing, Marcelo Davanco, Lin Chang, John Bowers, Niels Quack, Christophe Galland, Igor Aharonovich, Martin Wolff, Carsten Schuck, Neil Sinclair, Marko Lončar, Tin Komljenovic, David Weld, Shayan Mookherjea, Sonia Buckley, Marina Radulaski, Stephan Reitzenstein, Benjamin Pingault, Bartholomeus Machielse, Debsuvra Mukhopadhyay, Alexey Akimov, Aleksei Zheltikov, Girish Agarwal, Kartik Srinivasan, Juanjuan Lu, Hong Tang, Wentao Jiang, Timothy Mckenna, Amir Safavi-Naeini, Stephan Steinhauer, Ali Elshaari, Val Zwiller, Paul Davids, Nicholas Martinez, Michael Gehl, John Chiaverini, Karan Mehta, Jacquiline Romero, Navin Lingaraju, Andrew Weiner, Daniel Peace, Robert Cernansky, Mirko Lobino, Eleni Diamanti, Luis Trigo Vidarte, Ryan Camacho
DOI HAL
Probably approximately correct quantum source coding
Information-theoretic lower bounds are often encountered in several branches of computer science, including learning theory and …
HAL
Sample-efficient device-independent quantum state verification and certification
Authentication of quantum sources is a crucial task in building reliable and efficient protocols for quantum-information processing. …
DOI HAL
On the connection between quantum pseudorandomness and quantum hardware assumptions
This paper, for the first time, addresses the questions related to the connections between quantum pseudorandomness and quantum …
DOI HAL
Mode-selective single-photon addition to a multimode quantum field
Spectro-temporal modes of light can be exploited for the generation of high-dimensional Gaussian quantum states. Such states are at the …
DOI HAL
Graph neural network initialisation of quantum approximate optimisation
Approximate combinatorial optimisation has emerged as one of the most promising application areas for quantum computers, particularly …
DOI HAL
Genuine network quantum nonlocality and self-testing
The network structure offers in principle the possibility for novel forms of quantum nonlocal correlations, that are proper to networks …
DOI HAL
Cryptographic approach to Quantum Metrology
We consider a cryptographically motivated framework for quantum metrology in the presence of a malicious adversary. We begin by …
DOI HAL
Benchmarking of quantum protocols
Quantum network protocols offer new functionalities such as enhanced security to communication and computational systems. Despite the …
DOI HAL
Quantum Information Techniques for Quantum Metrology
Quantum metrology is an auspicious discipline of quantum information which is currently witnessing a surge of experimental …
PDF HAL
Detecting a target with quantum entanglement
In the last decade a lot of research activity focused on the use of quantum entanglement as a resource for remote target detection, …
PDF DOI HAL
Multipartite communications over quantum networks
The field of quantum networks is currently a major area of investigation in quantum technologies. One of the simplest acts of quantum …
PDF HAL
Tight adaptive reprogramming in the QROM
The random oracle model (ROM) enjoys widespread popularity, mostly because it tends to allow for tight and conceptually simple proofs …
DOI HAL
Classical-quantum network coding: a story about tensor
We study here the conditions to perform the distribution of a pure state on a quantum network using quantum operations which can …
PDF HAL
Randomized Benchmarking with Stabilizer Verification and Gate Synthesis
Recently, there has been an emergence of useful applications for noisy intermediate-scale quantum (NISQ) devices notably, though not …
HAL
Non-Destructive Zero-Knowledge Proofs on Quantum States, and Multi-Party Generation of Authorized Hidden GHZ States
Due to the special no-cloning principle, quantum states appear to be very useful in cryptography. But this very same property also has …
HAL
Mitigating errors by quantum verification and post-selection
Correcting errors due to noise in quantum circuits run on current and near-term quantum hardware is essential for any convincing …
HAL
Efficient Construction of Quantum Physical Unclonable Functions with Unitary t-designs
Quantum physical unclonable functions, or QPUFs, are rapidly emerging as theoretical hardware solutions to provide secure cryptographic …
HAL
A Unified Framework For Quantum Unforgeability
In this paper, we continue the line of work initiated by Boneh and Zhandry at CRYPTO 2013 and EUROCRYPT 2013 in which they formally …
HAL
Verification of graph states in an untrusted network
Graph states are a large class of multipartite entangled quantum states that form the basis of schemes for quantum computation, …
HAL
Efficient verification of Boson Sampling
The demonstration of quantum speedup, also known as quantum computational supremacy, that is the ability of quantum computers to …
DOI HAL
A versatile and high-performance PIC-based CV-QKD receiver
HAL
The interplay between quantum contextuality and Wigner negativity
Quantum physics has revolutionised our way of conceiving nature and is now bringing about a new technological revolution. The use of …
PDF HAL
Error-correcting entanglement swapping using a practical logical photon encoding
The implementation of a quantum internet requires the distribution of entanglement over long distances, which is facilitated by …
DOI HAL
Network Quantum Steering
The development of large-scale quantum networks promises to bring a multitude of technological applications as well as shed light on …
DOI HAL
Oblivious Transfer is in MiniQCrypt
MiniQCrypt is a world where quantum-secure one-way functions exist, and quantum communication is possible. We construct an oblivious …
DOI HAL
Verifying BQP Computations on Noisy Devices with Minimal Overhead
With the development of delegated quantum computation, clients will want to ensure confidentiality of their data and algorithms, and …
DOI HAL
Optimal quantum-programmable projective measurements with coherent states
We consider a device which can be programed using coherent states of light to approximate a given projective measurement on an input …
DOI HAL
High-Rate Continuous Variable Quantum Key Distribution Based on Probabilistically Shaped 64 and 256-QAM
We designed a CV-QKD system with off-the-shelf components and established the feasibility of distributing 67.6 and 66.8 Mb/s secret key …
PDF DOI HAL
Device-Independent Quantification of Quantum Resources
PDF HAL
Multiphoton and Side-Channel Attacks in Mistrustful Quantum Cryptography
Mistrustful cryptography includes important tasks like bit commitment, oblivious transfer, coin flipping, secure computations, position …
DOI HAL
Flexible entanglement-distribution network with an AlGaAs chip for secure communications
Abstract Quantum communication networks enable applications ranging from highly secure communication to clock synchronization and …
DOI HAL
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 …
PDF HAL
Classical simulation of Gaussian quantum circuits with non-Gaussian input states
We consider Gaussian quantum circuits supplemented with non-Gaussian input states and derive sufficient conditions for efficient …
DOI HAL
Quantum machine learning with adaptive linear optics
We study supervised learning algorithms in which a quantum device is used to perform a computational subroutine - either for prediction …
DOI HAL
Quantum technologies in space
Recently, the European Commission supported by many European countries has announced large investments towards the commercialization of …
PDF DOI HAL
Experimental Approach to Demonstrating Contextuality for Qudits
We propose a method to experimentally demonstrate contextuality with a family of tests for qudits. The experiment we propose uses a …
DOI HAL
Certifying dimension of quantum systems by sequential projective measurements
This work analyzes correlations arising from quantum systems subject to sequential projective measurements to certify that the system …
PDF DOI HAL
Witnessing Wigner Negativity
Negativity of the Wigner function is arguably one of the most striking non-classical features of quantum states. Beyond its fundamental …
DOI HAL
Demonstration of Probabilistic Constellation Shaping for Continuous Variable Quantum Key Distribution
We demonstrate, for the first time to our knowledge, continuous-variable quantum key distribution using probabilistically-shaped …
PDF DOI HAL
Certification of Non-Gaussian States with Operational Measurements
We derive a theoretical framework for the experimental certification of non-Gaussian features of quantum states using double homodyne …
DOI HAL
Composable Security for Multipartite Entanglement Verification
We present a composably secure protocol allowing $n$ parties to test an entanglement generation resource controlled by a possibly …
DOI HAL
Practical Limits of Error Correction for Quantum Metrology
Noise is the greatest obstacle in quantum metrology that limits it achievable precision and sensitivity. There are many techniques to …
DOI HAL
Continuous variable multimode quantum states via symmetric group velocity matching
Configurable and scalable continuous variable quantum networks for measurement-based quantum information protocols or multipartite …
DOI HAL
Delegating Multi-Party Quantum Computations vs. Dishonest Majority in Two Quantum Rounds
Multi-Party Quantum Computation (MPQC) has attracted a lot of attention as a potential killer-app for quantum networks through …
HAL
Generation of quantum states of light in nonlinear AlGaAs chips: engineering and applications
Photonic quantum technologies represent a promising platform for applications ranging from long-distance secure communications to the …
PDF DOI HAL
Continuous-variable quantum cryptographic protocols
This thesis is concerned with the study and analysis of two quantum cryptographic protocols: quantum key distribution (QKD) and …
PDF HAL
Experimental demonstration of quantum advantage for NP verification with limited information
In recent years, many computational tasks have been proposed as candidates for showing a quantum computational advantage, that is an …
DOI HAL
The Quantum Cut-and-Choose Technique and Quantum Two-Party Computation
The application and analysis of the Cut-and-Choose technique in protocols secure against quantum adversaries is not a straightforward …
HAL
On-State Commutativity of Measurements and Joint Distributions of Their Outcomes
In this note, we analyze joint probability distributions that come from the outcomes of quantum measurements performed on sets of …
HAL
Two combinatorial MA-complete problems
Despite the interest in the complexity class MA, the randomized analog of NP, just a few natural MA-complete problems are known. The …
DOI HAL
Variational Quantum Cloning: Improving Practicality for Quantum Cryptanalysis
Cryptanalysis on standard quantum cryptographic systems generally involves finding optimal adversarial attack strategies on the …
HAL
Secure Quantum Two-Party Computation: Impossibility and Constructions
Secure two-party computation considers the problem of two parties computing a joint function of their private inputs without revealing …
HAL
Qualifying quantum approaches for hard industrial optimization problems. A case study in the field of smart-charging of electric vehicles
In order to qualify quantum algorithms for industrial NP-Hard problems, comparing them to available polynomial approximate classical …
HAL
Client-Server Identification Protocols with Quantum PUF
Recently, major progress has been made towards the realisation of the quantum internet to enable a broad range of applications that …
HAL
A Continuous Variable Born Machine
Generative Modelling has become a promising use case for near term quantum computers. In particular, due to the fundamentally …
HAL
Feasibility of satellite-to-ground continuous-variable quantum key distribution
Establishing secure communication links at a global scale is a major potential application of quantum information science but also …
DOI HAL
Quantum Technology for Economists
Research on quantum technology spans multiple disciplines: physics, computer science, engineering, and mathematics. The objective of …
HAL
Full characterization of the transmission properties of a multi-plane light converter
Multi-plane light conversion allows to perform arbitrary transformations on a finite set of spatial modes with no theoretical …
PDF DOI HAL
Quantum versus Classical Generative Modelling in Finance
Finding a concrete use case for quantum computers in the near term is still an open question, with machine learning typically touted as …
DOI HAL
Security Limitations of Classical-Client Delegated Quantum Computing
Secure delegated quantum computing allows a computationally weak client to outsource an arbitrary quantum computation to an untrusted …
HAL
Quantum statistical query learning
We propose a learning model called the quantum statistical learning QSQ model, which extends the SQ learning model introduced by Kearns …
HAL
Dispelling Myths on Superposition Attacks: Formal Security Model and Attack Analyses
It is of folkloric belief that the security of classical cryptographic protocols is automatically broken if the Adversary is allowed to …
DOI HAL
Securing Quantum Computations in the NISQ Era
Recent experimental achievements motivate an ever-growing interest from companies starting to feel the limitations of classical …
HAL
QMA-Hardness of Consistency of Local Density Matrices with Applications to Quantum Zero-Knowledge
We provide several advances to the understanding of the class of Quantum Merlin-Arthur proof systems (QMA), the quantum analogue of NP. …
DOI HAL
Non-interactive classical verification of quantum computation
In a recent breakthrough, Mahadev constructed an interactive protocol that enables a purely classical party to delegate any quantum …
DOI HAL
StoqMA vs. MA: the power of error reduction
StoqMA characterizes the computational hardness of stoquastic local Hamiltonians, which is a family of Hamiltonians that does not …
HAL
Authenticated teleportation and verification in a noisy network
Authenticated teleportation aims to certify the transmission of a quantum state through teleportation, even in the presence of an …
DOI HAL
Photonic orbital angular momentum in turbulence: vortex splitting and adaptive optics
Recent works revealed that transmission of light beams carrying orbital-angular-momentum (OAM) through turbulence causes the optical …
PDF DOI HAL
Fault-tolerant quantum speedup from constant depth quantum circuits
A defining feature in the field of quantum computing is the potential of a quantum device to outperform its classical counterpart for a …
DOI HAL
Quantum weak coin flipping with a single photon
Weak coin flipping is among the fundamental cryptographic primitives which ensure the security of modern communication networks. It …
DOI HAL
Rates of Multipartite Entanglement Transformations
The theory of the asymptotic manipulation of pure bipartite quantum systems can be considered completely understood: the rates at which …
DOI HAL
Breaking simple quantum position verification protocols with little entanglement
Instantaneous nonlocal quantum computation (INQC) evades apparent quantum and relativistic constraints and allows to attack generic …
HAL
Continuous variable quantum advantages and applications in quantum optics
Quantum physics has led to a revolution in our conception of the nature of our world and is now bringing about a technological …
PDF HAL
The Born supremacy: quantum advantage and training of an Ising Born machine
The search for an application of near-term quantum devices is widespread. Quantum machine learning is touted as a potential utilisation …
PDF DOI HAL
Quantum certification and benchmarking
Concomitant with the rapid development of quantum technologies, challenging demands arise concerning the certification and …
DOI HAL
Building trust for continuous variable quantum states
We first introduce heterodyne quantum state tomography, a reliable method for continuous variable quantum state certification which …
DOI HAL
A step closer to secure global communication
DOI HAL
Graph States as a Resource for Quantum Metrology
By using highly entangled states, quantum metrology guarantees precision impossible with classical measurements. Unfortunately such …
DOI HAL
Stellar representation of non-Gaussian quantum states
The so-called stellar formalism allows to represent the non-Gaussian properties of single-mode quantum states by the distribution of …
DOI HAL
A simple protocol for certifying graph states and applications in quantum networks
We present a simple protocol for certifying graph states in quantum networks using stabiliser measurements. The certification …
DOI HAL
Entanglement of truncated quantum states
We investigate the impact of Hilbert-space truncation upon the entanglement of an initially maximally entangled m × m bipartite quantum …
PDF DOI HAL
Design and implementation of high-performance devices for continuous-variable quantum key distribution
Quantum key distribution (QKD) is one of the first quantum technologies that were able to provide commercially meaningful solutions to …
PDF HAL
Quantum Physical Unclonable Functions: Possibilities and Impossibilities
Physical Unclonable Functions (PUFs) are physical devices with unique behavior that are hard to clone. A variety of PUF schemes have …
HAL
QFactory: classically-instructed remote secret qubits preparation
The functionality of classically-instructed remotely prepared random secret qubits was introduced in (Cojocaru et al 2018) as a way to …
DOI HAL
Certified Randomness From Steering Using Sequential Measurements
The generation of certifiable randomness is one of the most promising applications of quantum technologies. Furthermore, the intrinsic …
DOI HAL
Robust quantum metrology with explicit symmetric states
Quantum metrology is a promising practical use case for quantum technologies, where physical quantities can be measured with …
HAL
Distributing Graph States Over Arbitrary Quantum Networks
Multipartite entangled states are great resources for quantum networks. In this work we study the distribution, or routing, of …
DOI HAL
Randomness for quantum information processing
This thesis is focused on the generation and understanding of particular kinds of quantum randomness. Randomness is useful for many …
PDF HAL
Unitary $t$-designs from $relaxed$ seeds
In this work we reduce the requirements for generating $t$-designs, an important tool for randomisation with applications across …
HAL
Methods for Classically Simulating Noisy Networked Quantum Architectures
As research on building scalable quantum computers advances, it is important to be able to certify their correctness. Due to the …
DOI HAL
On the permanent of Sylvester-Hadamard matrices
We prove a conjecture due to Wanless about the permanent of Hadamard matrices in the particular case of Sylvester-Hadamard matrices. …
HAL
Authenticated teleportation with one-sided trust
We introduce a protocol for authenticated teleportation, which can be proven secure even when the receiver does not trust their …
DOI HAL
Fast Quantum Algorithm for Solving Multivariate Quadratic Equations
In August 2015 the cryptographic world was shaken by a sudden and surprising announcement by the US National Security Agency NSA …
HAL
Random coding for sharing bosonic quantum secrets
We consider a protocol for sharing quantum states using continuous variable systems. Specifically we introduce an encoding procedure …
PDF DOI HAL
Complexity-theoretic limitations on blind delegated quantum computation
Blind delegation protocols allow a client to delegate a computation to a server so that the server learns nothing about the input to …
HAL
The Born Supremacy: Quantum Advantage and Training of an Ising Born Machine
The search for an application of near-term quantum devices is widespread. Quantum Machine Learning is touted as a potential utilisation …
HAL
Asymptotic security of continuous-variable quantum key distribution with a discrete modulation
We establish a lower bound on the asymptotic secret key rate of continuous-variable quantum key distribution with a discrete modulation …
DOI HAL
Anonymity for Practical Quantum Networks
Quantum communication networks have the potential to revolutionize information and communication technologies. Here we are interested …
DOI HAL
Efficient approximate unitary t-designs from partially invertible universal sets and their application to quantum speedup
At its core a $t$-design is a method for sampling from a set of unitaries in a way which mimics sampling randomly from the Haar measure …
HAL
Verification of Quantum Computation: An Overview of Existing Approaches
DOI HAL
Cyber security in the quantum era
DOI HAL
Active engineering of four-wave mixing spectral correlations in multiband hollow-core fibers
We demonstrate theoretically and experimentally a high level of control of the four-wave mixing process in an inert gas–filled …
PDF DOI HAL
Semi-device-independent quantum money with coherent states
The no-cloning property of quantum mechanics allows unforgeability of quantum banknotes and credit cards. Quantum credit card protocols …
PDF DOI HAL
Probabilistic Fault-Tolerant Universal Quantum Computation and Sampling Problems in Continuous Variables
Continuous-Variable (CV) devices are a promising platform for demonstrating large-scale quantum information protocols. In this …
DOI HAL
Super- and subradiance of clock atoms in multimode optical waveguides
The transversely confined propagating modes of an optical fiber mediate virtually infinite range energy exchanges among atoms placed …
PDF DOI HAL
Experimental demonstration of quantum advantage for one-way communication complexity surpassing best-known classical protocol
Demonstrating a quantum advantage with currently available experimental systems is of utmost importance in quantum information science. …
PDF DOI HAL
Composable security of two-way continuous-variable quantum key distribution without active symmetrization
We present a general framework encompassing a number of continuous-variable quantum key distribution protocols, including standard …
DOI HAL
Optimal quantum-programmable projective measurement with linear optics
We present a scheme for a universal device which can be programed by quantum states to approximate a chosen projective measurement to a …
DOI HAL
Tsirelson's bound and Landauer's principle in a single-system game
We introduce a simple single-system game inspired by the Clauser-Horne-Shimony-Holt (CHSH) game. For qubit systems subjected to unitary …
DOI HAL
Quantum Advantage from Sequential-Transformation Contextuality
We introduce a notion of contextuality for transformations in sequential contexts, distinct from the Bell-Kochen-Specker and Spekkens …
PDF DOI HAL
A simple protocol for fault tolerant verification of quantum computation
With experimental quantum computing technologies now in their infancy, the search for efficient means of testing the correctness of …
DOI HAL
Quantum superiority for verifying NP-complete problems with linear optics
Demonstrating quantum superiority for some computational task will be a milestone for quantum technologies and would show that …
DOI HAL
Demonstration of Einstein-Podolsky-Rosen Steering Using Hybrid Continuous- and Discrete-Variable Entanglement of Light
DOI HAL
Engineering four-wave mixing spectral entanglement in hollow-core fibers
HAL
On the possibility of classical client blind quantum computing
We define the functionality of delegated pseudo-secret random qubit generator (PSRQG), where a classical client can instruct the …
HAL
A Comprehensive Analysis of Quantum E-voting Protocols
Recent advances at Google, IBM, as well as a number of research groups indicate that quantum computers will soon be reality. Motivated …
HAL
Utilisation de fibres à couplage inhibé pour le controle de l'intrication spectrale de paires de photons
HAL
One-Sided Device-Independent Certification of Unbounded Random Numbers
The intrinsic non-locality of correlations in Quantum Mechanics allow us to certify the behaviour of a quantum mechanism in a device …
PDF DOI HAL
Space QUEST mission proposal: Experimentally testing decoherence due to gravity
Models of quantum systems on curved space-times lack sufficient experimental verification. Some speculative theories suggest that …
DOI HAL
Shaping photon-pair time-frequency correlations in inhibited-coupling hollow-core fibers
PDF HAL
Shaping photon-pairs time-frequency correlations in inhibited-coupling hollow-core fibers
We experimentally show how multiband dispersion properties of inhibited-coupling hollow-core fibers allow to control the spectral …
PDF DOI HAL
Theoretical and practical aspects of verification of quantum computers
Quantum computing is emerging at a meteoric pace from a pure academic field to a fully industrial framework. Rapid advances are …
HAL
Experimental detection of steerability in Bell local states with two measurement settings
Steering, a quantum property stronger than entanglement but weaker than non-locality in the quantum correlation hierarchy, is a key …
DOI HAL
Information Theoretically Secure Hypothesis Test for Temporally Unstructured Quantum Computation (Extended Abstract)
DOI HAL
Violating Bell inequalities with entangled optical frequency combs and multi-pixel homodyne detection
We have theoretically investigated the possibility of using any of several continuous-variable Bell-type inequalities - for which the …
HAL
Experimental investigation of practical unforgeable quantum money
Wiesner’s unforgeable quantum money scheme is widely celebrated as the first quantum information application. Based on the …
DOI HAL
Classical multiparty computation using quantum resources
In this work, we demonstrate a way to perform classical multiparty computing among parties with limited computational resources. Our …
DOI HAL
Multiparty Delegated Quantum Computing
DOI HAL
Unconditionally verifiable blind quantum computation
Blind quantum computing (BQC) allows a client to have a server carry out a quantum computation for them such that the client’s …
DOI HAL
Verification of Quantum Computation and the Price of Trust
DOI HAL
Garbled Quantum Computation
The universal blind quantum computation protocol (UBQC) enables an almost classical client to delegate a quantum computation to an …
DOI HAL
Optimised resource construction for verifiable quantum computation
Recent developments have brought the possibility of achieving scalable quantum networks and quantum devices closer. From the …
DOI HAL
Rigidity of quantum steering and one-sided device-independent verifiable quantum computation
The relationship between correlations and entanglement has played a major role in understanding quantum theory since the work of …
DOI HAL
Best of both worlds
Secure communication is emerging as a significant challenge for our hyper-connected data-dependent society. The answer may lie in a …
DOI HAL