3 citations · 7 across the 7 of their papers we have counts for
7 papers
Enrich-by-need Protocol Analysis for Diffie-Hellman (Extended Version)
Moses D. Liskov, Joshua D. Guttman, John D. Ramsdell +2
Enrich-by-need protocol analysis is a style of symbolic protocol analysis that characterizes all executions of a protocol that extend a given scenario. In effect, it computes a str…
Quantum Computer Condition: Stability, Classical Computation and Norms
Gerald Gilbert, Michael Hamrick, F. Javier Thayer +1
The Quantum Computer Condition (QCC) provides a rigorous and completely general framework for carrying out analyses of questions pertaining to fault-tolerance in quantum computers.…
Comment on "Operator Quantum Error Correction"
Gerald Gilbert, Michael Hamrick, F. Javier Thayer +1
The attempt to equate operator quantum error correction (quant-ph/0504189v1) with the quantum computer condition (quant-ph/0507141) in version two of quant-ph/0504189 is shown to b…
A Theory of Physical Quantum Computation: The Quantum Computer Condition
Gerald Gilbert, Michael Hamrick, F. Javier Thayer
In this paper we present a new unified theoretical framework that describes the full dynamics of quantum computation. Our formulation allows any questions pertaining to the physica…
Quasidiagonal -algebras and Nonstandard Analysis
F. Javier Thayer
Suppose B is an ultraproduct of finite dimensional C^\ast-algebras. We consider mapping and injectability properties for separable C^\ast-algebras into B. In the case of approximat…
Privacy Amplification in Quantum Key Distribution: Pointwise Bound versus Average Bound
G. Gilbert, M. Hamrick, F. J. Thayer
In order to be practically useful, quantum cryptography must not only provide a guarantee of secrecy, but it must provide this guarantee with a useful, sufficiently large throughpu…