Abstract:The success of quantum circuits in providing reliable outcomes for a given problem depends on the gate count and depth in near-term noisy quantum computers. Quantum circuit compilers that decompose high-level gates to native gates of the hardware and optimize the circuit play a key role in quantum computing. However, the quality and time complexity of the optimization process can vary significantly especially for practically relevant large-scale quantum circuits. As a result, third-party (often less-trusted/untrusted) compilers have emerged, claiming to provide better and faster optimization of complex quantum circuits than so-called trusted compilers. However, untrusted compilers can pose severe security risks, such as the theft of sensitive intellectual property (IP) embedded within the quantum circuit. We propose an obfuscation technique for quantum circuits using randomized reversible gates to protect them from such attacks during compilation. The idea is to insert a small random circuit into the original circuit and send it to the untrusted compiler. Since the circuit function is corrupted, the adversary may get incorrect IP. However, the user may also get incorrect output post-compilation. To circumvent this issue, we concatenate the inverse of the random circuit in the compiled circuit to recover the original functionality. We demonstrate the practicality of our method by conducting exhaustive experiments on a set of benchmark circuits and measuring the quality of obfuscation by calculating the Total Variation Distance (TVD) metric. Our method achieves TVD of up to 1.92 and performs at least 2X better than a previously reported obfuscation method. We also propose a novel adversarial reverse engineering (RE) approach and show that the proposed obfuscation is resilient against RE attacks. The proposed technique introduces minimal degradation in fidelity (~1% to ~3% on average).

Toward a Formal and Quantitative Evaluation Framework for Circuit Obfuscation Methods

Secure and Low-Overhead Circuit Obfuscation Technique with Multiplexers

Circuit Obfuscation and Oracle-Guided Attacks: Who Can Prevail?

Cyclic Obfuscation for Creating SAT-Unresolvable Circuits.

Exploiting Spin-Orbit Torque Devices As Reconfigurable Logic for Circuit Obfuscation

Appsat: Approximately Deobfuscating Integrated Circuits

Scalable Attack-Resistant Obfuscation of Logic Circuits

Randomized Reversible Gate-Based Obfuscation for Secured Compilation of Quantum Circuit

An Overview of FPGA-inspired Obfuscation Techniques

KC2: Key-Condition Crunching for Fast Sequential Circuit Deobfuscation

On Secure and Usable Program Obfuscation: A Survey

An Empirical Study on Gate Camouflaging Methods Against Circuit Partition Attack.

SMT Attack: Next Generation Attack on Obfuscated Circuits with Capabilities and Performance Beyond the SAT Attacks

Removal of SAT-Hard Instances in Logic Obfuscation Through Inference of Functionality

A General And Efficient Obfuscation For Programs With Tamper-Proof Hardware

Improving Bounded Model Checkers Scalability for Circuit De-Obfuscation: An Exploration

Hiding circuit topology from unbounded reverse engineers

On Obfuscating Programs With Tamper-Proof Hardware

Threshold-based Obfuscated Keys with Quantifiable Security against Invasive Readout

TimingSAT: Decamouflaging Timing-based Logic Obfuscation

Parallelizing SAT-based De-Camouflaging Attacks by Circuit Partitioning and Conflict Avoiding