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
- Establishing shared secret keys on quantum line networks: protocol and security
- 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
- On the connection between quantum pseudorandomness and quantum hardware assumptions
- Probably approximately correct quantum source coding
- 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
- Graph neural network initialisation of quantum approximate optimisation
- Efficient verification of Boson Sampling
- Hybrid PUF: A Novel Way to Enhance the Security of Classical PUFs
- QEnclave -- A practical solution for secure quantum cloud computing
- 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
- Quantum Physical Unclonable Functions: Possibilities and Impossibilities
- QFactory: classically-instructed remote secret qubits preparation
- 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
- Continuous-variable nonlocality and contextuality
- Probabilistic Fault-Tolerant Universal Quantum Computation and Sampling Problems in Continuous Variables
- Optimal quantum-programmable projective measurement with linear optics
- 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
- Benchmarking of quantum protocols
- Building trust for continuous variable quantum states
- Certified Randomness From Steering Using Sequential Measurements
- Cryptographic approach to Quantum Metrology
- Cyber security in the quantum era
- Dispelling myths on superposition attacks: formal security model and attack analyses
- Optimal quantum-programmable projective measurements with coherent states
- Quantum Advantage from Sequential-Transformation Contextuality
- Verification of Quantum Computation: An Overview of Existing Approaches
- Verifying BQP Computations on Noisy Devices with Minimal Overhead