Design of Quantum Computer Antivirus

The development of quantum computers has been advancing rapidly in recent years. In addition to researchers and companies building bigger and bigger machines, these computers are already being actively connected to the internet and offered as cloud-based quantum computer services. As quantum computers become more widely accessible, potentially malicious users could try to execute their code on the machines to leak information from other users, to interfere with or manipulate results of other users, or to reverse engineer the underlying quantum computer architecture and its intellectual property, for example. To analyze such new security threats to cloud-based quantum computers, this work first proposes and explores different types of quantum computer viruses. This work shows that quantum viruses can impact outcomes of Grover’s search algorithm or machine learning classification algorithms running on quantum computers, for example. The work then proposes a first of its kind quantum computer antivirus as a new means of protecting the expensive and fragile quantum computer hardware from quantum computer viruses. The antivirus can analyze quantum computer programs, also called circuits, and detect possibly malicious ones before they execute on quantum computer hardware. As a compile-time technique, it does not introduce any new overhead at run-time of the quantum computer.

[1]  Swaroop Ghosh,et al.  Muzzle the Shuttle: Efficient Compilation for Multi-Trap Trapped-Ion Quantum Computers , 2021, 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[2]  Jakub Szefer,et al.  Short Paper: Device- and Locality-Specific Fingerprinting of Shared NISQ Quantum Computers , 2021, HASP@MICRO.

[3]  Yu Zhang,et al.  A Quantum Circuit Optimization Framework Based on Pattern Matching , 2021, SPIN.

[4]  Swaroop Ghosh,et al.  Shuttle-Exploiting Attacks and Their Defenses in Trapped-Ion Quantum Computers , 2021, IEEE Access.

[5]  David Z. Pan,et al.  QuantumNAS: Noise-Adaptive Search for Robust Quantum Circuits , 2021, 2022 IEEE International Symposium on High-Performance Computer Architecture (HPCA).

[6]  Swaroop Ghosh,et al.  A Survey and Tutorial on Security and Resilience of Quantum Computing , 2021, 2021 IEEE European Test Symposium (ETS).

[7]  Swaroop Ghosh,et al.  Quantum PUF for Security and Trust in Quantum Computing , 2021, IEEE Journal on Emerging and Selected Topics in Circuits and Systems.

[8]  Abdullah Ash Saki,et al.  Qubit Sensing: A New Attack Model for Multi-programming Quantum Computing , 2021, 2104.05899.

[9]  Swaroop Ghosh,et al.  Impact of Noise on the Resilience and the Security of Quantum Computing , 2021, 2021 22nd International Symposium on Quality Electronic Design (ISQED).

[10]  A. Cho IBM promises 1000-qubit quantum computer—a milestone—by 2023 , 2020, Science.

[11]  Swaroop Ghosh,et al.  Analysis of crosstalk in NISQ devices and security implications in multi-programming regime , 2020, ISLPED.

[12]  F. Chong,et al.  Quantum Computer Systems: Research for Noisy Intermediate-Scale Quantum Computers , 2020, Quantum Computer Systems.

[13]  Margaret Martonosi,et al.  Software Mitigation of Crosstalk on Noisy Intermediate-Scale Quantum Computers , 2019, ASPLOS.

[14]  Moinuddin K. Qureshi,et al.  A Case for Multi-Programming Quantum Computers , 2019, MICRO.

[15]  Stefan Woerner,et al.  Exact and Practical Pattern Matching for Quantum Circuit Optimization , 2019, ACM Transactions on Quantum Computing.

[16]  R. Blume-Kohout,et al.  Detecting crosstalk errors in quantum information processors , 2019, Quantum.

[17]  Hartmut Neven,et al.  Classification with Quantum Neural Networks on Near Term Processors , 2018, 1802.06002.

[18]  Ιωάννης Σόφιος,et al.  Trusted execution environment , 2017 .

[19]  J. Gambetta,et al.  Hardware-efficient variational quantum eigensolver for small molecules and quantum magnets , 2017, Nature.

[20]  Gerhard W. Dueck,et al.  An Algorithm for Quantum Template Matching , 2014, ACM J. Emerg. Technol. Comput. Syst..

[21]  Robert Wille,et al.  Exact Template Matching Using Boolean Satisfiability , 2013, 2013 IEEE 43rd International Symposium on Multiple-Valued Logic.

[22]  Lov K. Grover A fast quantum mechanical algorithm for database search , 1996, STOC '96.

[23]  Umesh V. Vazirani,et al.  Quantum complexity theory , 1993, STOC.

[24]  D. Deutsch,et al.  Rapid solution of problems by quantum computation , 1992, Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences.

[25]  Yongshan Ding,et al.  Quantum Computer Systems , 2020 .

[26]  R. Portugal,et al.  Shor’s Algorithm for Integer Factorization , 2019, SpringerBriefs in Computer Science.

[27]  Aric Hagberg,et al.  Exploring Network Structure, Dynamics, and Function using NetworkX , 2008, Proceedings of the Python in Science Conference.

[28]  Mario Vento,et al.  An Improved Algorithm for Matching Large Graphs , 2001 .