Researcher profile

Boaz Tsaban

Boaz Tsaban contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
17works
0followers
10topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

17 published item(s)

preprint2026arXiv

Partition regularity of infinite parallelepiped sets

A proper infinite parallelepiped (IP) set in a semigroup is an infinite set consisting of a sequence $\myseq{a}$ and its finite sums, or a superset of such a set. Hindman's theorem asserts that the proper IP sets of natural numbers are partition regular: for each finite coloring of a proper IP set of natural numbers there is a monochromatic proper IP subset. Furstenberg generalized this question to arbitrary semigroups, in which the analogous result does not hold in general. We provide a complete classification of the semigroups for which the proper IP sets are partition regular, and show that this property is equivalent to other fundamental notions of additive Ramsey theory.

preprint2007arXiv

A diagonalization property between Hurewicz and Menger

In classical works, Hurewicz and Menger introduced two diagonalization properties for sequences of open covers. Hurewicz found a combinatorial characterization of these notions in terms of continuous images. Recently, Scheepers has shown that these notions are particular cases in a large family of diagonalization schemas. One of the members of this family is weaker than the Hurewicz property and stronger than the Menger property, and it was left open whether it can be characterized combinatorially in terms of continuous images. We give a positive answer. This paper can serve as an exposition of this fascinating subject.

preprint2007arXiv

Fast generators for the Diffie-Hellman key agreement protocol and malicious standards

The Diffie-Hellman key agreement protocol is based on taking large powers of a generator of a prime-order cyclic group. Some generators allow faster exponentiation. We show that to a large extent, using the fast generators is as secure as using a randomly chosen generator. On the other hand, we show that if there is some case in which fast generators are less secure, then this could be used by a malicious authority to generate a standard for the Diffie-Hellman key agreement protocol which has a hidden trapdoor.

preprint2007arXiv

Length-based cryptanalysis: The case of Thompson's Group

The length-based approach is a heuristic for solving randomly generated equations in groups which possess a reasonably behaved length function. We describe several improvements of the previously suggested length-based algorithms, that make them applicable to Thompson's group with significant success rates. In particular, this shows that the Shpilrain-Ushakov public key cryptosystem based on Thompson's group is insecure, and suggests that no practical public key cryptosystem based on this group can be secure.

preprint2007arXiv

Products of special sets of real numbers

We describe a simple machinery which translates results on algebraic sums of sets of reals into the corresponding results on their cartesian product. Some consequences are: 1. The product of a meager/null-additive set and a strong measure zero/strongly meager set in the Cantor space has strong measure zero/is strongly meager, respectively. 2. Using Scheepers' notation for selection principles: Sfin(Omega,Omega^gp)\cap S1(O,O)=S1(Omega,Omega^gp), and Borel's Conjecture for S1(Omega,Omega) (or just S1(Omega,Omega^gp)) implies Borel's Conjecture. These results extend results of Scheepers and Miller, respectively.

preprint2007arXiv

Random strategies with memory for the Robin Hood game

The_Robin_Hood_ game is played as follows: On day i, the Sheriff puts s(i) bags of gold in the cave. On night i, Robin removes r(i) bags from the cave. The game is played for each natural nymber i. Robin wins if each bag which was put in the cave is eventually removed from it; otherwise the Sheriff wins. Gasarch, Golub, and Srinivasan studied the Robin Hood game in the case of random strategies where Robin has no historical memory. We extend their main result to the case of bounded historical memory, and obtain a hierarchy of provably distinct games.

preprint2007arXiv

Selection principles and the minimal tower problem

We study diagonalizations of covers using various selection principles, where the covers are related to linear quasiorderings (tau-covers). This includes: equivalences and nonequivalences, combinatorial characterizations, critical cardinalities and constructions of special sets of reals. This study leads to a solution of a topological problem which was suggested to the author by Scheepers (and stated in an earlier work) and is related to the Minimal Tower problem. We also introduce a variant of the notion of tau-cover, called tau^*-cover, and settle some problems for this variant which are still open in the case of $τ$-covers. This new variant introduces new (and tighter) topological and combinatorial lower bounds on the Minimal Tower problem.

preprint2007arXiv

Strong gamma-sets and other singular spaces

Whereas the Gerlits-Nagy gamma-property is strictly weaker than the Galvin-Miller strong gamma-property, the corresponding strong notions for the Menger, Hurewicz, Rothberger, Gerlits-Nagy (*), Arkhangel'skii and Sakai properties are equivalent to the original ones. The main result is that almost each of these properties admits the game theoretic characterization suggested by the stronger notion. We also solve a related problem of Kocinac and Scheepers, and answer a question of Iliadis.

preprint2007arXiv

Theoretical cryptanalysis of the Klimov-Shamir number generator TF-1

The internal state of the Klimov-Shamir number generator TF-1 consists of four words of size w bits each, whereas its intended strength is 2^{2w}. We exploit an asymmetry in its output function to show that the internal state can be recovered after having 2^w outputs, using 2^{1.5w} operations. For w=32 the attack is practical, but for their recommended w=64 it is only of theoretical interest.

preprint2007arXiv

Topological diagonalizations and Hausdorff dimension

The Hausdorff dimension of a product XxY can be strictly greater than that of Y, even when the Hausdorff dimension of X is zero. But when X is countable, the Hausdorff dimensions of Y and XxY are the same. Diagonalizations of covers define a natural hierarchy of properties which are weaker than ``being countable'' and stronger than ``having Hausdorff dimension zero''. Fremlin asked whether it is enough for X to have the strongest property in this hierarchy (namely, being a gamma-set) in order to assure that the Hausdorff dimensions of Y and XxY are the same. We give a negative answer: Assuming CH, there exists a gamma-set of reals X and a set of reals Y with Hausdorff dimension zero, such that the Hausdorff dimension of X+Y (a Lipschitz image of XxY) is maximal, that is, 1. However, we show that for the notion of a_strong_ gamma-set the answer is positive. Some related problems remain open.

preprint2004arXiv

The combinatorics of Borel covers

In this paper we extend previous studies of selection principles for families of open covers of sets of real numbers to also include families of countable Borel covers. The main results of the paper could be summarized as follows: 1. Some of the classes which were different for open covers are equal for Borel covers -- Section 1; 2. Some Borel classes coincide with classes that have been studied under a different guise by other authors -- Section 4.

preprint2003arXiv

Efficient linear feedback shift registers with maximal period

We introduce and analyze an efficient family of linear feedback shift registers (LFSR's) with maximal period. This family is word-oriented and is suitable for implementation in software, thus provides a solution to a recent challenge posed in FSE '94. The classical theory of LFSR's is extended to provide efficient algorithms for generation of irreducible and primitive LFSR's of this new type.