We consider two-player zero-sum games with countably infinite action spaces and bounded payoff functions. The players’ strategies are finitely additive probability measures, called charges. Since a strategy profile does not always induce a unique expected payoff, we distinguish two extreme attitudes of players. A player is viewed as pessimistic if he always evaluates the range of possible expec...

In STOC 2000, Canetti, Goldreich, Goldwasser, and Micali put forward the strongest notion of zero-knowledge to date, resettable zero-knowledge (RZK) and implemented it in constant rounds in a new model, where the verifier simply has a public key registered before any interaction with the prover. This work explores their new public-key model for zero-knowledge protocols. First, it shows that the...

We observe that in certain two-player repeated games of incomplete information, where information may be incomplete on both sides, it is possible for an informed player to signal his status as an informed player to the other without revealing any information about the choice of chance. The key to obtaining such a class of games is to relax the assumption that the players’ moves are observable. ...

Recent research on parallel functional programming has culminated in a provably efficient (in work and space) memory manager, which been incorporated into the MPL (MaPLe) compiler for Parallel ML shown to deliver practical efficiency scalability. The manager exploits property of programs called disentanglement, restricts computations from accessing concurrently allocated objects. Disentanglemen...

Let R be a non-domain commutative ring with identity and A(R) be theset of non-zero ideals with non-zero annihilators. We call an ideal I of R, anannihilating-ideal if there exists a non-zero ideal J of R such that IJ = (0).The annihilating-ideal graph of R is defined as the graph AG(R) with the vertexset A(R) and two distinct vertices I and J are adjacent if and only if IJ =(0). In this paper,...