Personal page here.
Interests
- Verification of quantum technology
- Quantum interactive proof systems
- Delegated quantum computing
- Secure multi-party computing
- Experimental implementation of quantum protocols
- Quantum parallel computing
- New models for quantum computing
Latest
- A unifying framework for differentially private quantum algorithms
- Agnostic Process Tomography
- Asymmetric Quantum Secure Multi-Party Computation With Weak Clients Against Dishonest Majority
- Constrained and Vanishing Expressivity of Quantum Fourier Models
- Establishing shared secret keys on quantum line networks: protocol and security
- Experimental verifiable multi-client blind quantum computing on a Qline architecture
- Exponential Quantum Error Mitigation of BQP Computations using Verification
- Heuristic-free Verification-inspired Quantum Benchmarking
- On the role of coherence for quantum computational advantage
- On-Chip Verified Quantum Computation with an Ion-Trap Quantum Processing Unit
- Restricted Randomized Benchmarking with Universal Gates of Fixed Sequence Length
- Subspace Preserving Quantum Convolutional Neural Network Architectures
- Towards a Unified Quantum Protocol Framework: Classification, Implementation, and Use Cases
- Towards quantum advantage with photonic state injection
- Subspace Preserving Quantum Convolutional Neural Network Architectures
- Quantum Error Suppression with Subgroup Stabilisation
- The power of shallow-depth Toffoli and qudit quantum circuits
- Verification of Quantum Computations without Trusted Preparations or Measurements
- Verifiable Blind Quantum Computing with Trapped Ions and Single Photons
- Multi-client distributed blind quantum computation with the Qline architecture
- Establishing shared secret keys on quantum line networks: protocol and security
- Exponential Quantum Error Mitigation of BQP Computations using Verification
- Multi-client distributed blind quantum computation with the Qline architecture
- Scalable and Exponential Quantum Error Mitigation of BQP Computations using Verification
- Simplifying errors by symmetry and randomisation
- Towards a Unified Quantum Protocol Framework: Classification, Implementation, and Use Cases
- Trainability and Expressivity of Hamming-Weight Preserving Quantum Circuits for Machine Learning
- A unifying framework for differentially private quantum algorithms
- Verifiable blind quantum computing with trapped ions and single photons
- Asymmetric Quantum Secure Multi-Party Computation With Weak Clients Against Dishonest Majority
- Classically Approximating Variational Quantum Machine Learning with Random Fourier Features
- Quantum Lock: A Provable Quantum Communication Advantage
- Differential Privacy Amplification in Quantum and Quantum-inspired Algorithms
- Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations
- QEnclave - A practical solution for secure quantum cloud computing
- Quantum Local Differential Privacy and Quantum Statistical Query Model
- Correction to: Dispelling myths on superposition attacks: formal security model and attack analyses
- Dispelling myths on superposition attacks: formal security model and attack analyses
- Continuous-variable nonlocality and contextuality
- Probably approximately correct quantum source coding
- Benchmarking of quantum protocols
- Cryptographic approach to Quantum Metrology
- Graph neural network initialisation of quantum approximate optimisation
- On the connection between quantum pseudorandomness and quantum hardware assumptions
- A Unified Framework For Quantum Unforgeability
- Efficient Construction of Quantum Physical Unclonable Functions with Unitary t-designs
- Mitigating errors by quantum verification and post-selection
- Non-Destructive Zero-Knowledge Proofs on Quantum States, and Multi-Party Generation of Authorized Hidden GHZ States
- Randomized Benchmarking with Stabilizer Verification and Gate Synthesis
- Efficient verification of Boson Sampling
- Optimal quantum-programmable projective measurements with coherent states
- Verifying BQP Computations on Noisy Devices with Minimal Overhead
- Delegating Multi-Party Quantum Computations vs. Dishonest Majority in Two Quantum Rounds
- The Quantum Cut-and-Choose Technique and Quantum Two-Party Computation
- A Continuous Variable Born Machine
- Client-Server Identification Protocols with Quantum PUF
- Secure Quantum Two-Party Computation: Impossibility and Constructions
- Variational Quantum Cloning: Improving Practicality for Quantum Cryptanalysis
- Quantum versus Classical Generative Modelling in Finance
- Security Limitations of Classical-Client Delegated Quantum Computing
- Dispelling Myths on Superposition Attacks: Formal Security Model and Attack Analyses
- Securing Quantum Computations in the NISQ Era
- The Born supremacy: quantum advantage and training of an Ising Born machine
- Quantum certification and benchmarking
- Building trust for continuous variable quantum states
- Quantum Physical Unclonable Functions: Possibilities and Impossibilities
- QFactory: classically-instructed remote secret qubits preparation
- Certified Randomness From Steering Using Sequential Measurements
- Methods for Classically Simulating Noisy Networked Quantum Architectures
- Fast Quantum Algorithm for Solving Multivariate Quadratic Equations
- Complexity-theoretic limitations on blind delegated quantum computation
- The Born Supremacy: Quantum Advantage and Training of an Ising Born Machine
- Verification of Quantum Computation: An Overview of Existing Approaches
- Cyber security in the quantum era
- Probabilistic Fault-Tolerant Universal Quantum Computation and Sampling Problems in Continuous Variables
- Optimal quantum-programmable projective measurement with linear optics
- Quantum Advantage from Sequential-Transformation Contextuality
- A simple protocol for fault tolerant verification of quantum computation
- A Comprehensive Analysis of Quantum E-voting Protocols
- On the possibility of classical client blind quantum computing
- One-Sided Device-Independent Certification of Unbounded Random Numbers
- Theoretical and practical aspects of verification of quantum computers
- Information Theoretically Secure Hypothesis Test for Temporally Unstructured Quantum Computation (Extended Abstract)
- Classical multiparty computation using quantum resources
- Multiparty Delegated Quantum Computing
- Unconditionally verifiable blind quantum computation
- Verification of Quantum Computation and the Price of Trust
- Garbled Quantum Computation
- Optimised resource construction for verifiable quantum computation
- Rigidity of quantum steering and one-sided device-independent verifiable quantum computation
- Best of both worlds