My research has concentrated
on quantum computation, particularly quantum fault tolerance and quantum
error correction. However, my technical interests include the broader
fields of data mining, intrusion detection, and classical fault tolerance.
In my research, I have developed a fault-tolerant software architecture
for quantum computers that maps a high-level program into fault-tolerant
machine-level instructions, along with methods and tools to analyze
and simulate quantum circuits and determine component failure thresholds.
This work represents the first design flow for a quantum computer, and
includes the development of a quantum assembly language, QASM, and a
suite of tools for its compilation and simulation. In addition, I have investigated
various nearest-neighbor quantum computer architectures and developed
several fault-tolerance threshold estimation techniques. Threshold estimation
is necessary for the engineering and realization of a reliable, scalable
quantum computer. Specifically, my research contributions are:
- A layered software
architecture for quantum computers. The design flow fault-tolerantly
maps a quantum algorithm written in a high-level language to technology-specific
instructions for a quantum computer or for use in a quantum simulator.
- A quantum assembly
language, QASM, and a toolsuite for its compilation and simulation. QASM
allows easy expression of quantum circuits, which with the toolsuite,
provides a platform for the evaluation and simulation of fault-tolerant
- A semi-analytical
analysis of fault-tolerance thresholds for a nearest-neighbor quantum
computer. Our fault-tolerance analysis is the first explicit model for
a nearest-neighbor architecture (an architecture which requires movement).
Our work also corrects previous inaccurate fault-tolerant threshold
- A new host-based
intrusion detection system for Windows registry anomaly detection. We
use one-class support vector machines (OCSVMs) to detect anomalous registry
behavior in the Windows registry.
Quantum Threshold Estimates for a 2D Lattice Architecture". K.
Svore, B. Terhal, and and D. DiVincenzo. IBM Research Physics of Information
Group Seminar, September 2005.
Quantum Computation". K. Svore, B. Terhal, and D. DiVincenzo. Invited
Speaker, IBM Workshop on Fault-tolerant Quantum Computation 2005, August
29-30, 2005. slides (ppt)
or Threshold? - More Realistic Threshold Estimates for Fault-tolerant
Quantum Computing". K. Svore, A. Cross, I. Chuang, and A. Aho, 2005.
Submitted to Quantum Information and Computation. LANL
Quantum Computation". K. Svore, B. Terhal, and D. DiVincenzo. Quantum
Information Processes (QIP) 2005, January 13-18, 2005. Phys. Rev.
A 72, 022317 (2005). LANL
Evaluation of Two Algorithms for Windows Registry Anomaly Detection".
S. Stolfo, F. Apap, E. Eskin, K. Heller, S. Hershkop, A. Honig, K. Svore.
To appear in Journal of Computer Security, 2005. paper
Circuits into Elementary Unitary Operations". K. Svore. In Proceedings
of the Grace Hopper Conference for Women in Computing (GHC), Chicago,
IL, October, 2004.
Quantum Carry-Lookahead Adder". T. Draper, S. Kutin, E. Rains,
and K. Svore. In Proceedings of the ERATO Conference on Quantum Information
Sciences (EQIS), Tokyo, Japan, September, 2004. Submitted to Quantum
Information and Computation. LANL
"Toward a Software
Architecture for Quantum Computing Design Tools". K. Svore, A.
Cross, A. Aho, I. Chuang, and I. Markov. In Proceedings of the Workshop
on Quantum Programming Languages (QPL), July 2004. Submitted to
IEEE Computer. paper (pdf)
Compilers". K. Svore. Massachusetts Institute of Technology Center
for Bits and Atoms Seminar, May 2004.
Circuits into Elementary Unitary Operations". K. Svore. Quantum
Information Processes (QIP) 2004, January 17-19, 2004.
"One Class Support Vector Machines for Detecting Anomalous Windows
Registry Accesses". K. Heller, K. Svore, A. Keromytis, and S. Stolfo.
In Proceedings of the ICDM Workshop on Data Mining for Computer Security
(DMSEC), Melbourne, Florida, November 19, 2003.
"The Design and
Optimization of Quantum Circuits using the Palindrome Transform".
A. Aho and K. Svore. In Proceedings of the ERATO Conference on Quantum
Information Sciences (EQIS), Kyoto, Japan, September 5-7, 2003.
State of Quantum Computer Compilers". K. Svore. Columbia University
Theory Group Seminar, September 2003.
Generation". K. Svore. Columbia University Theory Group Seminar,