中文
相关论文

相关论文: Indistinguishability Obfuscation of Circuits and i…

200 篇论文

An indistinguishability obfuscator is a probabilistic polynomial-time algorithm that takes a circuit as input and outputs a new circuit that has the same functionality as the input circuit, such that for any two circuits of the same size…

量子物理 · 物理学 2021-11-11 Anne Broadbent , Raza Ali Kazmi

An obfuscator is an algorithm that translates circuits into functionally-equivalent similarly-sized circuits that are hard to understand. Efficient obfuscators would have many applications in cryptography. Until recently, theoretical…

密码学与安全 · 计算机科学 2017-10-11 Gorjan Alagic , Stacey Jeffery , Stephen P. Jordan

This paper first describes an `obfuscating' compiler technology developed for encrypted computing, then examines if the trivial case without encryption produces much-sought indistinguishability obfuscation.

密码学与安全 · 计算机科学 2018-11-30 Peter T. Breuer , Jonathan P. Bowen

We study the notion of indistinguishability obfuscation for null quantum circuits (quantum null-iO). We present a construction assuming: - The quantum hardness of learning with errors (LWE). - Post-quantum indistinguishability obfuscation…

量子物理 · 物理学 2021-06-14 James Bartusek , Giulio Malavolta

We show how to obfuscate pseudo-deterministic quantum circuits in the classical oracle model, assuming the quantum hardness of learning with errors. Given the classical description of a quantum circuit $Q$, our obfuscator outputs a quantum…

量子物理 · 物理学 2023-11-21 James Bartusek , Fuyuki Kitagawa , Ryo Nishimaki , Takashi Yamakawa

Quantum computing solutions are increasingly deployed in commercial environments through delegated computing, especially one of the most critical issues is to guarantee the confidentiality and proprietary of quantum implementations. Since…

量子物理 · 物理学 2024-11-20 Yuanjing Zhang , Tao Shang , Kun Zhang , Chenyi Zhang , Haohua Du , Xueyi Guo

In this paper we show that the existence of general indistinguishability obfuscators conjectured in a few recent works implies, somewhat counterintuitively, strong impossibility results for virtual black box obfuscation. In particular, we…

密码学与安全 · 计算机科学 2014-02-14 Nir Bitansky , Ran Canetti , Henry Cohn , Shafi Goldwasser , Yael Tauman Kalai , Omer Paneth , Alon Rosen

Protecting source code against reverse engineering and theft is an important problem. The goal is to carry out computations using confidential algorithms on an untrusted party while ensuring confidentiality of algorithms. This problem has…

密码学与安全 · 计算机科学 2016-12-13 Johannes Schneider , Thomas Locher

In this work, we show how to construct indistinguishability obfuscation from subexponential hardness of four well-founded assumptions. We prove: Let $\tau \in (0,\infty), \delta \in (0,1), \epsilon \in (0,1)$ be arbitrary constants. Assume…

密码学与安全 · 计算机科学 2020-08-24 Aayush Jain , Huijia Lin , Amit Sahai

Indistinguishability obfuscation (iO) has emerged as a powerful cryptographic primitive with many implications. While classical iO, combined with the infinitely-often worst-case hardness of $\mathsf{NP}$, is known to imply one-way functions…

量子物理 · 物理学 2025-07-02 Tomoyuki Morimae , Yuki Shirakawa , Takashi Yamakawa

Circuit obfuscation is a recently proposed defense mechanism to protect digital integrated circuits (ICs) from reverse engineering by using camouflaged gates i.e., logic gates whose functionality cannot be precisely determined by the…

密码学与安全 · 计算机科学 2020-03-24 Zhiqian Chen , Gaurav Kolhe , Setareh Rafatirad , Sai Manoj P. D. , Houman Homayoun , Liang Zhao , Chang-Tien Lu

Universal Circuits (UCs) offer a promising approach to hardware Intellectual Property (IP) obfuscation, leveraging cryptographic principles to hide both structure and function in a programmable logic fabric. Their adaptability makes them…

密码学与安全 · 计算机科学 2026-04-07 Zain Ul Abideen , Deepali Garg , Lawrence Pileggi , Samuel Pagliarini

Security is an important facet of integrated circuit design for many applications. IP privacy and Trojan insertion are growing threats as circuit fabrication in advanced nodes almost inevitably relies on untrusted foundries. A proposed…

密码学与安全 · 计算机科学 2020-05-21 Joseph Sweeney , Samuel Pagliarini , Lawrence Pileggi

Program obfuscation is a widely employed approach for software intellectual property protection. However, general obfuscation methods (e.g., lexical obfuscation, control obfuscation) implemented in mainstream obfuscation tools are heuristic…

密码学与安全 · 计算机科学 2017-10-04 Hui Xu , Yangfan Zhou , Yu Kang , Michael R. Lyu

Gate camouflaging is a technique for obfuscating the function of a circuit against reverse engineering attacks. However, if an adversary has pre-existing knowledge about the set of functions that are viable for an application, random…

密码学与安全 · 计算机科学 2017-03-03 Shahrzad Keshavarz , Christof Paar , Daniel Holcomb

Encryption of data is fundamental to secure communication in the modern world. Beyond encryption of data lies obfuscation, i.e., encryption of functionality. It is well-known that the most powerful means of obfuscating classical programs,…

量子物理 · 物理学 2016-02-05 Gorjan Alagic , Bill Fefferman

Program obfuscation aims to hide the inner workings of a program while preserving its functionality. In the quantum setting, recent works have obtained obfuscation schemes for specialized classes of quantum circuits. For instance, Bartusek,…

量子物理 · 物理学 2025-10-13 Mi-Ying Huang , Er-Cheng Tang

A major unresolved question in quantum cryptography is whether it is possible to obfuscate arbitrary quantum computation. Indeed, there is much yet to understand about the feasibility of quantum obfuscation even in the classical oracle…

量子物理 · 物理学 2024-01-19 James Bartusek , Zvika Brakerski , Vinod Vaikuntanathan

Quantum computing leverages quantum mechanics to achieve computational advantages over classical hardware, but the use of third-party quantum compilers in the Noisy Intermediate-Scale Quantum (NISQ) era introduces risks of intellectual…

量子物理 · 物理学 2025-05-21 Amal Raj , Vivek Balachandran

A classical obfuscator for quantum circuits is a classical program that, given the classical description of a quantum circuit $Q$, outputs the classical description of a functionally equivalent quantum circuit $\hat{Q}$ that hides as much…

量子物理 · 物理学 2026-01-14 James Bartusek , Aparna Gupte , Saachi Mutreja , Omri Shmueli
‹ 上一页 1 2 3 10 下一页 ›