English
Related papers

Related papers: Low Ambiguity in Strong, Total, Associative, One-W…

200 papers

Rabi and Sherman [RS97] presented novel digital signature and unauthenticated secret-key agreement protocols, developed by themselves and by Rivest and Sherman. These protocols use ``strong,'' total, commutative (in the case of multi-party…

Computational Complexity · Computer Science 2007-05-23 Lane A. Hemaspaandra , Joerg Rothe

Rabi and Sherman [RS97,RS93] proved that the hardness of factoring is a sufficient condition for there to exist one-way functions (i.e., p-time computable, honest, p-time noninvertible functions; this paper is in the worst-case model, not…

Computational Complexity · Computer Science 2007-11-01 Lane A. Hemaspaandra , Joerg Rothe , Amitabh Saxena

We survey recent developments in the study of (worst-case) one-way functions having strong algebraic and security properties. According to [RS93], this line of research was initiated in 1984 by Rivest and Sherman who designed two-party…

Computational Complexity · Computer Science 2007-05-23 A. Beygelzimer , L. A. Hemaspaandra , C. M. Homan , J. Rothe

We show that one-way functions exist if and only if there exists an efficient distribution relative to which almost-optimal compression is hard on average. The result is obtained by combining a theorem of Ilango, Ren, and Santhanam and one…

Computational Complexity · Computer Science 2025-01-24 Marius Zimand

Rabi, Rivest, and Sherman alter the standard notion of noninvertibility to a new notion they call strong noninvertibility, and show -- via explicit cryptographic protocols for secret-key agreement ([RS93,RS97] attribute this to Rivest and…

Computational Complexity · Computer Science 2016-08-15 Lane A. Hemaspaandra , Kari Pasanen , Jörg Rothe

In this note, we study the easy certificate classes introduced by Hemaspaandra, Rothe, and Wechsung, with regard to the question of whether or not surjective one-way functions exist. This is an important open question in cryptology. We show…

Computational Complexity · Computer Science 2007-05-23 Joerg Rothe , Lane A. Hemaspaandra

One-way functions are fundamental to classical cryptography and their existence remains a longstanding problem in computational complexity theory. Recently, a provable quantum one-way function has been identified, which maintains its…

Quantum Physics · Physics 2024-08-27 Hua-Lei Yin

One-way functions are a very important notion in the field of classical cryptography. Most examples of such functions, including factoring, discrete log or the RSA function, can be, however, inverted with the help of a quantum computer. In…

Quantum Physics · Physics 2007-05-23 Elham Kashefi , Iordanis Kerenidis

The existence of one-way functions is arguably the most important problem in computer theory. The article discusses and refines a number of concepts relevant to this problem. For instance, it gives the first combinatorial complete owf,…

Cryptography and Security · Computer Science 2021-08-23 Leonid A. Levin

Oneway real functions are effective maps on positive-measure sets of reals that preserve randomness and have no effective probabilistic inversions. We construct a oneway real function which is collision-resistant: the probability of…

Logic · Mathematics 2025-01-07 George Barmpalias , Xiaoyan Zhang

The seminal result of Impagliazzo and Rudich (STOC 1989) gave a black-box separation between one-way functions and public-key encryption: informally, a public-key encryption scheme cannot be constructed using one-way functions as the sole…

Cryptography and Security · Computer Science 2012-05-17 Mohammad Mahmoody , Hemanta K. Maji , Manoj Prabhakaran

In quantum cryptography, a one-way permutation is a bounded unitary operator $U:\mathcal{H} \to \mathcal{H}$ on a Hilbert space $\mathcal{H}$ that is easy to compute on every input, but hard to invert given the image of a random input.…

Computational Complexity · Computer Science 2017-05-01 Alexandre de Castro

One-way functions are central to classical cryptography. They are both necessary for the existence of non-trivial classical cryptosystems, and sufficient to realize meaningful primitives including commitments, pseudorandom generators and…

Quantum Physics · Physics 2024-01-30 Dakshita Khurana , Kabir Tomer

A major open problem in computational complexity is the existence of a one-way function, namely a function from strings to strings which is computationally easy to compute but hard to invert. Levin (2023) formulated the notion of one-way…

Computational Complexity · Computer Science 2025-07-21 George Barmpalias , Xiaoyan Zhang

A function on a discrete group is weakly combable if its discrete derivative with respect to a combing can be calculated by a finite state automaton. A weakly combable function is bicombable if it is Lipschitz in both the left and right…

Group Theory · Mathematics 2010-09-14 Danny Calegari , Koji Fujiwara

We prove that the equivalence of two fundamental problems in the theory of computing. For every polynomial $t(n)\geq (1+\varepsilon)n, \varepsilon>0$, the following are equivalent: - One-way functions exists (which in turn is equivalent to…

Computational Complexity · Computer Science 2020-09-25 Yanyi Liu , Rafael Pass

This paper demonstrates a duality between the non-robustness of polynomial time dimension and the existence of one-way functions. Polynomial-time dimension (denoted $\mathrm{cdim}_\mathrm{P}$) quantifies the density of information of…

Computational Complexity · Computer Science 2025-02-11 Satyadev Nandakumar , Subin Pulari , Akhil S , Suronjona Sarma

A recent breakthrough [Hirahara and Nanashima, STOC'2024] established that if $\mathsf{NP} \not \subseteq \mathsf{ioP/poly}$, the existence of zero-knowledge with negligible errors for $\mathsf{NP}$ implies the existence of one-way…

Cryptography and Security · Computer Science 2026-02-20 Suvradip Chakraborty , James Hulett , Dakshita Khurana , Kabir Tomer

One-sided output secure function evaluation is a cryptographic primitive where the two mutually distrustful players, Alice and Bob, both have a private input to a bivariate function. Bob obtains the value of the function for the given…

Quantum Physics · Physics 2025-02-10 Esther Hänggi , Severin Winkler

We show that there is always a uniformly antisymmetric f:A-> {0,1} if A subset R is countable. We prove that the continuum hypothesis is equivalent to the statement that there is an f:R-> omega with |S_x| <= 1 for every x in R. If the…

Logic · Mathematics 2016-09-06 Peter Komjath , Saharon Shelah
‹ Prev 1 2 3 10 Next ›