Neave effect also occurs with Tausworthe sequences
Shu Tezuka
WSC 1991
In cryptographic protocols it is often necessary to verify/certify the "tools" in use. This work demonstrates certain subtleties in treating a family of trapdoor permutations in this context, noting the necessity to "check" certain properties of these functions. The particular case we illustrate is that of noninteractive zero-knowledge. We point out that the elegant recent protocol of Feige, Lapidot, and Shamir for proving NP statements in noninteractive zero-knowledge requires an additional certification of the underlying trapdoor permutation, and suggest a method for certifying permutations which fills this gap. © 1996 International Association for Cryptologic Research.
Shu Tezuka
WSC 1991
T. Graham, A. Afzali, et al.
Microlithography 2000
Karthik Visweswariah, Sanjeev Kulkarni, et al.
IEEE International Symposium on Information Theory - Proceedings
Ronen Feldman, Martin Charles Golumbic
Ann. Math. Artif. Intell.