English
Related papers

Related papers: Partial-indistinguishability obfuscation using bra…

200 papers

The purpose of this paper is to present an algorithm for inferring nondeterministic functional transducers. It has a lot in common with other well known algorithms such has RPNI and OSTIA. Indeed we will argue that this algorithm is a…

Formal Languages and Automata Theory · Computer Science 2020-12-11 Aleksander Mendoza-Drosik

Diffusive representations of fractional derivatives have proven to be useful tools in the construction of fast and memory efficient numerical methods for solving fractional differential equations. A common challenge in many of the known…

Numerical Analysis · Mathematics 2022-04-11 Kai Diethelm

Noise is one of the main obstacles to realizing quantum devices that achieve a quantum computational advantage. A possible approach to minimize the noise effect is to employ shallow-depth quantum circuits since noise typically accumulates…

Quantum Physics · Physics 2025-07-31 Changhun Oh

It is shown that the fault testing for quantum circuits does not follow conventional classical techniques. If probabilistic gate like Hadamard gate is included in a circuit then the classical notion of test vector is shown to fail. We have…

Quantum Physics · Physics 2015-05-13 Anindita Banerjee , Anirban Pathak

Cryptography literally means "The art & science of secret writing & sending a message between two parties in such a way that its contents cannot be understood by someone other than the intended recipient". and Quantum word is related with…

Networking and Internet Architecture · Computer Science 2010-07-15 Aditya Goel

The ability to efficiently detect the software protections used is at a prime to facilitate the selection and application of adequate deob-fuscation techniques. We present a novel approach that combines semantic reasoning techniques with…

Computation and Language · Computer Science 2019-11-19 Ramtine Tofighi-Shirazi , Irina Mariuca Asavoae , Philippe Elbaz-Vincent

In this paper, we introduce a novel Communication and Obfuscation Management Architecture (COMA) to handle the storage of the obfuscation key and to secure the communication to/from untrusted yet obfuscated circuits. COMA addresses three…

Machine-learning based intrusion detection classifiers are able to detect unknown attacks, but at the same time, they may be susceptible to evasion by obfuscation techniques. An adversary intruder which possesses a crucial knowledge about a…

Cryptography and Security · Computer Science 2019-04-16 Ivan Homoliak , Martin Teknos , Martín Ochoa , Dominik Breitenbacher , Saeid Hosseini , Petr Hanacek

We explore a new pathway to designing unclonable cryptographic primitives. We propose a new notion called unclonable puncturable obfuscation (UPO) and study its implications for unclonable cryptography. Using UPO, we present modular (and…

Cryptography and Security · Computer Science 2024-04-24 Prabhanjan Ananth , Amit Behera

The limited capacity to recognize faces under occlusions is a long-standing problem that presents a unique challenge for face recognition systems and even for humans. The problem regarding occlusion is less covered by research when compared…

Computer Vision and Pattern Recognition · Computer Science 2020-06-23 Dan Zeng , Raymond Veldhuis , Luuk Spreeuwers

Timed automata (TAs) are an extension of finite automata that can measure and react to the passage of time, providing the ability to handle real-time constraints using clocks. In 2009, Franck Cassez showed that the timed opacity problem,…

Logic in Computer Science · Computer Science 2026-03-30 Étienne André , Sarah Dépernet , Engel Lefaucheux

Oblivious transfer is a primitive of paramount importance in cryptography or, more precisely, two- and multi-party computation due to its universality. Unfortunately, oblivious transfer cannot be achieved in an unconditionally secure way…

Cryptography and Security · Computer Science 2007-05-23 Jürg Wullschleger

We outline a quantum convolutional coding technique for protecting a stream of classical bits and qubits. Our goal is to provide a framework for designing codes that approach the ``grandfather'' capacity of an entanglement-assisted quantum…

Quantum Physics · Physics 2008-10-20 Mark M. Wilde , Todd A. Brun

We consider theoretical limits of partial secrecy in a setting where an eavesdropper attempts to causally reconstruct an information sequence with low distortion based on an intercepted transmission and the past of the sequence. The…

Information Theory · Computer Science 2010-08-05 Paul Cuff

Quantum circuit obfuscation is becoming increasingly important to prevent theft and reverse engineering of quantum algorithms. As quantum computing advances, the need to protect the intellectual property contained in quantum circuits…

Cryptography and Security · Computer Science 2025-12-23 Pradyun Parayil , Amal Raj , Vivek Balachandran

Prediction algorithms assign numbers to individuals that are popularly understood as individual "probabilities" -- what is the probability of 5-year survival after cancer diagnosis? -- and which increasingly form the basis for life-altering…

Machine Learning · Computer Science 2020-11-30 Cynthia Dwork , Michael P. Kim , Omer Reingold , Guy N. Rothblum , Gal Yona

We present an algorithm for efficiently approximating of qubit unitaries over gate sets derived from totally definite quaternion algebras. It achieves $\varepsilon$-approximations using circuits of length $O(\log(1/\varepsilon))$, which is…

Quantum Physics · Physics 2015-10-16 Vadym Kliuchnikov , Alex Bocharov , Martin Roetteler , Jon Yard

Optimization of quantum circuits using an efficient compiler is key to its success for NISQ computers. Several 3rd party compilers are evolving to offer improved performance for large quantum circuits. These 3rd parties, or just a certain…

Fully homomorphic encryption is an encryption method with the property that any computation on the plaintext can be performed by a party having access to the ciphertext only. Here, we formally define and give schemes for quantum homomorphic…

Quantum Physics · Physics 2016-01-11 Anne Broadbent , Stacey Jeffery

Using tools from quantum information theory, we present a general theory of indistinguishability of identical bosons in experiments consisting of passive linear optics followed by particle number detection. Our results do neither rely on…