We study Input Indistinguishable Computation (IIC), a security notion proposed by Micali, Pass, and Rosen in [14] and recently considered also by Garg, Goyal, Jain and Sahai in [9]. IIC aims at generalizing the notion of a Witness Indistinguishable (WI) proof system to general two-party functionalities and in its concurrent version (cIIC) also considers security against man-in-the-middle (MiM) ...

In this paper we give a counter example to a conjecture mentioned in Benjamini and Kesten (1996) about distinguishing sceneries by observing them along a simple random walk, giving an explicit construction of 2 @0 sceneries that are all pairwise indistinguishable.

We propose an efficient blind certification protocol with interesting properties. It falls in the Groth-Sahai framework for witness-indistinguishable proofs, thus extended to a certified signature it immediately yields non-frameable group signatures. We use blind certification to build an efficient (offline) e-cash system that guarantees user anonymity and transferability of coins without incre...

Consider the class of exp-log constants, which is constructed from the integers using the field operations, exponentiation and logarithm. Let z be such an exp-log constant and let n be its size as an expression. Witness conjectures attempt to give bounds $(n) for the number of decimal digits which need to be evaluated in order to test whether z equals zero. For this purpose, it is convenient to...

The problem of achieving high performance from induction motor based drives without sensing mechanical variables, i.e. high performance sensorless control is a widely studied topic, specially in the last decade. Several works point out some operating regimes where reliable control and speed estimation fail. However, a complete understanding of the nature of these limitations does not exist due ...

In this paper, we introduce and study notions like state-\linebreak distinguishability, input-distinguishability and output completeness of states of a crisp deterministic fuzzy automaton. We show that for each crisp deterministic fuzzy automaton there corresponds a unique (up to isomorphism), equivalent distinguished crisp deterministic fuzzy automaton. Finally, we introduce two axioms related...