Verification of Quantum Technology - Edinburgh Research Explorer

Edinburgh Research Explorer

Verification of Quantum Technology

Project: Research

Kashefi, Elham (Principal Investigator)

School of Informatics

Status	Active
Effective start/end date	1/10/15 → 30/09/20

Total award	£1,547,255.00
Funding organisation	EPSRC
Funder project reference	ep/n003829/1

Period	1/10/15 → 30/09/20

Research outputs

Verification of Quantum Computation: An Overview of Existing Approaches
Research output: Contribution to journal › Article
Classical multiparty computation using quantum resources
Research output: Contribution to journal › Article
Optimised resource construction for verifiable quantum computation
Research output: Contribution to journal › Article
Rigidity of quantum steering and one-sided device-independent verifiable quantum computation
Research output: Contribution to journal › Article
Multiparty Delegated Quantum Computing
Research output: Contribution to journal › Article
Garbled Quantum Computation
Research output: Contribution to journal › Article
Information Theoretically Secure Hypothesis Test for Temporally Unstructured Quantum Computation
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
A simple protocol for fault tolerant verification of quantum computation
Research output: Contribution to journal › Article
Provably secure key establishment against quantum adversaries
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
On the implausibility of classical client blind quantum computing
Research output: Contribution to conference › Paper