29 citations · 45 across the 9 of their papers we have counts for
9 papers
Distributed Quantum Programming
Ellie D'Hondt, Yves Vandriessche
In this paper we explore the structure and applicability of the Distributed Measurement Calculus (DMC), an assembly language for distributed measurement-based quantum computations.…
Classical Knowledge for Quantum Security
Ellie D'Hondt, Mehrnoosh Sadrzadeh
We propose a decision procedure for analysing security of quantum cryptographic protocols, combining a classical algebraic rewrite system for knowledge with an operational semantic…
Reasoning about quantum knowledge
Ellie D'Hondt, Prakash Panangaden
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum computation. While we rely on structures developed earlier, w…
Distributed measurement-based quantum computation
Vincent Danos, Ellie D'Hondt, Elham Kashefi +1
We develop a formal model for distributed measurement-based quantum computations, adopting an agent-based view, such that computations are described locally where possible. Because…
Quantum Weakest Preconditions
Ellie D'Hondt, Prakash Panangaden
We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation. We show that there is a Stone-type duality between t…
The Computational Power of the W and GHZ states
Ellie D'Hondt, Prakash Panangaden
It is well understood that the use of quantum entanglement significantly enhances the computational power of systems. Much of the attention has focused on Bell states and their mul…