Elham Kashefi

IACR Cryptol. ePrint Arch., 2023

A unifying framework for differentially private quantum algorithms.

[BibT_eX]

[DOI]

Mina Doosti

CoRR, 2023

Establishing shared secret keys on quantum line networks: protocol and security.

[BibT_eX]

[DOI]

CoRR, 2023

Classically Approximating Variational Quantum Machine Learning with Random Fourier Features.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Learning Representations, 2023

2022

Graph neural network initialisation of quantum approximate optimisation.

[BibT_eX]

[DOI]

Quantum, September, 2022

A continuous variable Born machine.

[BibT_eX]

[DOI]

Ieva Cepaite

Quantum Mach. Intell., 2022

Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2022

Correction to: Dispelling myths on superposition attacks: formal security model and attack analyses.

[BibT_eX]

[DOI]

Luka Music

Céline Chevalier

Des. Codes Cryptogr., 2022

Dispelling myths on superposition attacks: formal security model and attack analyses.

[BibT_eX]

[DOI]

Luka Music

Céline Chevalier

Des. Codes Cryptogr., 2022

Differential Privacy Amplification in Quantum and Quantum-inspired Algorithms.

[BibT_eX]

[DOI]

Mina Doosti

CoRR, 2022

Quantum Local Differential Privacy and Quantum Statistical Query Model.

[BibT_eX]

[DOI]

CoRR, 2022

2021

Efficient verification of Boson Sampling.

[BibT_eX]

[DOI]

Quantum, 2021

Quantum Physical Unclonable Functions: Possibilities and Impossibilities.

[BibT_eX]

[DOI]

Quantum, 2021

On the Possibility of Classical Client Blind Quantum Computing.

[BibT_eX]

[DOI]

Cryptogr., 2021

Probably approximately correct quantum source coding.

[BibT_eX]

[DOI]

CoRR, 2021

On the Connection Between Quantum Pseudorandomness and Quantum Hardware Assumptions.

[BibT_eX]

[DOI]

CoRR, 2021

Hybrid PUF: A Novel Way to Enhance the Security of Classical PUFs.

[BibT_eX]

[DOI]

CoRR, 2021

QEnclave - A practical solution for secure quantum cloud computing.

[BibT_eX]

[DOI]

CoRR, 2021

Non-Destructive Zero-Knowledge Proofs on Quantum States, and Multi-Party Generation of Authorized Hidden GHZ States.

[BibT_eX]

[DOI]

Léo Colisson

Frédéric Grosshans

CoRR, 2021

A Unified Framework For Quantum Unforgeability.

[BibT_eX]

[DOI]

CoRR, 2021

2020

Secure Quantum Two-Party Computation: Impossibility and Constructions.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2020

Security Limitations of Classical-Client Delegated Quantum Computing.

[BibT_eX]

[DOI]

Christian Badertscher

IACR Cryptol. ePrint Arch., 2020

Variational Quantum Cloning: Improving Practicality for Quantum Cryptanalysis.

[BibT_eX]

[DOI]

CoRR, 2020

Securing Quantum Computations in the NISQ Era.

[BibT_eX]

[DOI]

CoRR, 2020

Quantum versus Classical Generative Modelling in Finance.

[BibT_eX]

[DOI]

CoRR, 2020

Client-Server Identification Protocols with Quantum PUF.

[BibT_eX]

[DOI]

CoRR, 2020

Building Trust for Continuous Variable Quantum States.

[BibT_eX]

[DOI]

Proceedings of the 15th Conference on the Theory of Quantum Computation, 2020

2019

Verification of Quantum Computation: An Overview of Existing Approaches.

[BibT_eX]

[DOI]

Alexandru Gheorghiu

Theory Comput. Syst., 2019

QFactory: classically-instructed remote secret qubits preparation.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

Certified Randomness From Steering Using Sequential Measurements.

[BibT_eX]

[DOI]

Matty J. Hoban

Cryptogr., 2019

The Born Supremacy: Quantum Advantage and Training of an Ising Born Machine.

[BibT_eX]

[DOI]

CoRR, 2019

Cyber security in the quantum era.

[BibT_eX]

[DOI]

Petros Wallden

Commun. ACM, 2019

Complexity-Theoretic Limitations on Blind Delegated Quantum Computation.

[BibT_eX]

[DOI]

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

2018

Keeping Quantum Computers Honest (or Verification of Quantum Computing).

[BibT_eX]

[DOI]

Alexandru Gheorghiu

ERCIM News, 2018

A Comprehensive Analysis of Quantum E-voting Protocols.

[BibT_eX]

[DOI]

CoRR, 2018

One-Sided Device-Independent Certification of Unbounded Random Numbers.

[BibT_eX]

[DOI]

Matty J. Hoban

Proceedings of the 9th International Workshop on Physics and Computation, 2018

Delegated Pseudo-Secret Random Qubit Generator.

[BibT_eX]

[DOI]

CoRR, 2018

Theoretical and practical aspects of verification of quantum computers.

[BibT_eX]

[DOI]

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

Fast Quantum Algorithm for Solving Multivariate Quadratic Equations.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

Garbled Quantum Computation.

[BibT_eX]

[DOI]

Petros Wallden

Cryptogr., 2017

Multiparty Delegated Quantum Computing.

[BibT_eX]

[DOI]

Anna Pappa

Cryptogr., 2017

Information Theoretically Secure Hypothesis Test for Temporally Unstructured Quantum Computation (Extended Abstract).

[BibT_eX]

[DOI]

Daniel Mills

Anna Pappa

Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017

The Quantum Cut-and-Choose Technique and Quantum Two-Party Computation.

[BibT_eX]

[DOI]

Luka Music

Petros Wallden

CoRR, 2017

On the implausibility of classical client blind quantum computing.

[BibT_eX]

[DOI]

CoRR, 2017

Verification of Quantum Computation and the Price of Trust.

[BibT_eX]

[DOI]

Alexandru Gheorghiu

Proceedings of the Computer Science - Theory and Applications, 2017

2016

Quantum-enhanced secure delegated classical computing.

[BibT_eX]

[DOI]

Quantum Inf. Comput., 2016

Blind quantum computing with two almost identical states.

[BibT_eX]

[DOI]

CoRR, 2016

Postponing wearout failures in chip multiprocessors using thermal management and thread migration.

[BibT_eX]

[DOI]

Hamid R. Zarandi

Ann Gordon-Ross

Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip, 2016

2015

Optimising the information flow of one-way quantum computations.

[BibT_eX]

[DOI]

Einar Pius

Raphael Dias da Silva

Quantum Inf. Comput., 2015

Ground state blind quantum computation on AKLT state.

[BibT_eX]

[DOI]

Tomoyuki Morimae

Quantum Inf. Comput., 2015

2014

Blindness and Verification of Quantum Computation with One Pure Qubit.

[BibT_eX]

[DOI]

Animesh Datta

Proceedings of the 9th Conference on the Theory of Quantum Computation, 2014

Entanglement, Flow and Classical Simulatability in Measurement Based Quantum Computation.

[BibT_eX]

[DOI]

Damian Markham

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

2013

Extended phase map decompositions for unitaries.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2013

Preface to special issue: Developments In Computational Models 2010.

[BibT_eX]

[DOI]

S. Barry Cooper

Prakash Panangaden

Math. Struct. Comput. Sci., 2013

A Quantum-Theoretic Approach to Distributional Semantics.

[BibT_eX]

[DOI]

William Blacoe

Mirella Lapata

Proceedings of the Human Language Technologies: Conference of the North American Chapter of the Association of Computational Linguistics, 2013

2012

Ancilla-driven quantum computation with twisted graph states.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

2010

Algebraic characterisation of one-way patterns

[BibT_eX]

[DOI]

Proceedings of the Proceedings Sixth Workshop on Developments in Computational Models: Causality, 2010

Computational Depth Complexity of Measurement-Based Quantum Computation.

[BibT_eX]

[DOI]

Dan E. Browne

Simon Perdrix

Proceedings of the Theory of Quantum Computation, Communication, and Cryptography, 2010

Measurement-Based and Universal Blind Quantum Computation.

[BibT_eX]

[DOI]

Anne Broadbent

Joseph F. Fitzsimons

Proceedings of the Formal Methods for Quantitative Aspects of Programming Languages, 2010

2009

Parallelizing quantum circuits.

[BibT_eX]

[DOI]

Anne Broadbent

Theor. Comput. Sci., 2009

Programmable Hamiltonian for One-way Patterns.

[BibT_eX]

[DOI]

S. Salek

F. Seifan

Proceedings of the 6th International Workshop on Quantum Physics and Logic, 2009

Twisted Graph States for Ancilla-driven Universal Quantum Computation.

[BibT_eX]

[DOI]

Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009

Information Flow in Secret Sharing Protocols.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, 2009

Universal Blind Quantum Computation.

[BibT_eX]

[DOI]

Anne Broadbent

Joseph F. Fitzsimons

Proceedings of the 50th Annual IEEE Symposium on Foundations of Computer Science, 2009

2008

Quadratic Form Expansions for Unitaries.

[BibT_eX]

[DOI]

Proceedings of the Theory of Quantum Computation, 2008

2007

Statistical Zero Knowledge and quantum one-way functions.

[BibT_eX]

[DOI]

Iordanis Kerenidis

Theor. Comput. Sci., 2007

The measurement calculus.

[BibT_eX]

[DOI]

Vincent Danos

Prakash Panangaden

J. ACM, 2007

2006

The One Way to Quantum Computation.

[BibT_eX]

[DOI]

Vincent Danos

Prakash Panangaden

Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

2005

Pauli Measurements are Universal.

[BibT_eX]

[DOI]

Vincent Danos

Proceedings of the 3rd International Workshop on Quantum Programming Languages, 2005

Distributed Measurement-based Quantum Computation.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Quantum Programming Languages, 2005

2003

Complexity analysis and semantics for quantum computation.

[BibT_eX]

[DOI]

PhD thesis, 2003

Quantum Domain Theory - Definitions and Applications

[BibT_eX]

[DOI]

CoRR, 2003

2002

On quantum one-way permutations.

[BibT_eX]

[DOI]

Harumichi Nishimura

Vlatko Vedral

Quantum Inf. Comput., 2002

2001

The convex hull in a new model of computation.

[BibT_eX]

[DOI]

Abbas Edalat

André Lieutier