Design of Quantum Computer Antivirus

被引:13
作者
Deshpande, Sanjay [1 ]
Xu, Chuangi [1 ]
Trochatos, Theodoros [1 ]
Wang, Hanrui [2 ]
Erata, Ferhat [1 ]
Han, Song [2 ]
Ding, Yongshan [3 ]
Szefer, Jakub [1 ]
机构
[1] Yale Univ, Elect Engn, New Haven, CT 06520 USA
[2] MIT, EECS, Cambridge, MA USA
[3] Yale Univ, Comp Sci, New Haven, CT USA
来源
2023 IEEE INTERNATIONAL SYMPOSIUM ON HARDWARE ORIENTED SECURITY AND TRUST, HOST | 2023年
关键词
quantum computers; viruses; quantum computer viruses; antivirus;
D O I
10.1109/HOST55118.2023.10133711
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
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.
引用
收藏
页码:260 / 270
页数:11
相关论文
共 32 条
[1]   Exact Template Matching Using Boolean Satisfiability [J].
Abdessaied, Nabila ;
Soeken, Mathias ;
Wille, Robert ;
Drechsler, Rolf .
2013 IEEE 43RD INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2013), 2013, :328-333
[2]  
[Anonymous], 2021, IBM Unveils Breakthrough 127-Qubit Quantum Processor
[3]  
[Anonymous], INTEL SGX
[4]  
[Anonymous], INTEL SOFTWARE GUARD
[5]  
[Anonymous], 2001, 3 IAPR TC15 WORKSH G
[6]  
Ash-Saki A., 2020, ACM IEEE INT S LOW P, P25, DOI DOI 10.1145/3370748.3406570
[7]   Quantum complexity theory [J].
Bernstein, E ;
Vazirani, U .
SIAM JOURNAL ON COMPUTING, 1997, 26 (05) :1411-1473
[8]  
Castellanos S., 2021, Wall street journal
[9]   A Quantum Circuit Optimization Framework Based on Pattern Matching [J].
Chen, Mingyu ;
Zhang, Yu ;
Li, Yongshang .
SPIN, 2021, 11 (03)
[10]  
Cho A., 2020, ScienceInsider, DOI DOI 10.1126/SCIENCE.ABE8122